Looks like all the entries between April 27 and now are suddenly missing
from the current main AFP page
(there were several entries in early May)
including the Formalization of Forcing in Isabelle/ZF by Gunther et al,
several entries by Manuel Eberl
and the entry by Wenda and me from a couple of days ago.