That sounds like quite a story; you should consider writing it up somewhere other than an HN comment. That's a very serious issue, not least of which because GitHub uses usernames all over the place to identify people.