Fucking GitHub wants a User-Agent string