Board Thread:Watercooler/@comment-24692230-20180104153506/@comment-27345308-20180104164059


 * 1) If we don't do anything, they'll keep being uncategorized and in the arguably "wrong" namespace
 * 2) If we move them without redirects, they'll cause problems to users that already imported them. I believe ResourceLoader can handle mainspace -> MW redirects but what if they imported them through index.php?
 * 3) If we put   redirects to them, they will remain uncategorized (unless, like OneTwoThreeFall has done, we categorize them under Category:Code pages/CSS) and lonely (which we can fix with a DPL, right?)