If you haven't already, you should notify the kind people at Github. They respond within minutes, are friendly, and, most importantly, they actually react on wh

If you haven't already, you should notify the kind people at Github. They respond within minutes, are friendly, and, most importantly, they actually react on what you write them. Who'd have thought?