Ah, cool.  Bonus points for fixing github.py too, then!