General improvements on the github end.