The result of the discussion was keep. There Tony1 only says, that he has nothing against the deletion of the page, but not that he doesn't want it. Therefore the move of the page in Wikipedia namespace should be discussed with him first. Armbrust The Homunculus 10:16, 4 September 2013 (UTC)
I have no problem if people want to keep it—either here or moved elsewhere. I just noticed it a little while ago and thought it was just housecleaning. Tony (talk) 20:56, 4 September 2013 (UTC)