I love this story, makes me wonder how many other fun bugs on GitHub have been lost to time.