Ask someone with mediawiki sysop powers (gwern is a good bet) to delete the page, I expect refresh from wiki with an empty page should give the original behaviour.
Ask someone with mediawiki sysop powers (gwern is a good bet) to delete the page, I expect refresh from wiki with an empty page should give the original behaviour.