Deleted pages

If you landed here, you followed a link to a page that was meant to be deleted.

Explanation

It is not currently possible for "normal" users of this Wiki to delete pages. If a page is removed because it was merged with another page, it is obviously a good idea to redirect the removed page to the one it was merged with. But sometimes a page should be deleted without redirect, for example because the person who created it realized it was not a good idea after all. In that case, redirecting the page here is a workaround.