From Fedora Project Wiki
re: edit for https://fedoraproject.org/w/index.php?title=Name_suggestions_for_Fedora_18&oldid=280746 Sorry, I didn't realize I removed anything, I don't edit wikis all that often. And the name was meant as more of a joke for tomorrow ;)
P.S. actually scratch that -- I'm certain that the top of the page still said suggestion are open (though the date was clearly specified and expired, you're right about that) and the last entry was "Ritchie" before I started editing. Could there be some wiki sync problem?