Comment 3 for bug 1263156

For bug 1127411 we should really just delete these out of DNS (updated its description accordingly). If they're the last thing served from the old-wiki server, we should just shut the server down and see if anybody screams, then delete it and close this bug.