Behind the curtains there’s a whole stack of Mizar5 posts from 2007 and 2008. We’ll try to put them in here whenever we have time to do so.