GitHub widget removed from about box due to breakage on Windows. Anonymous contributors thanked.