Board Thread:General Discussion/@comment-26225277-20150508100429/@comment-5295601-20150512004514

Be sure to leave redirects, that's what they're there for.

As MediaWiki states: "There's generally no need to delete redirects. They do not occupy a significant amount of database space. If a page name is vaguely meaningful, there's no harm, and some benefit, in having it as a redirect to the more relevant or current page."