General improvements on the github end.

Yes, I know, but laziness won me :-P