There's a "rename" button on Github. It will handle redirects for you. Fixing a future PR nightmare couldn't be easier.
It's still a joke.
Five hours on HN, and the name's not changed yet? I'll check the next time this is posted with a usable name. IOW, when you start taking it seriously, so will I.