Oops. Sorry. Should have posted that they are aware of it and most likely are working on it.
I wonder if it is related to the recent MediaWiki software update on the wiki. I noticed that there was an update to the particular version already at the time Gijs' announcement of the update.