This page is linked to from some MediaWiki interface pages (e.g. when you're about to delete a page), so we should put something here.