Thread:Tupka217/@comment-20551-20190414211140/@comment-1038387-20190414230058

I keep useful ones, remove less useful ones. The possibility to create a redirect exists in MediaWiki, but so does the possibility not to create one. So it clearly has value as well. Even if the bot missed a few, creating a redirect anew is not the right solution.