raco pkg: GitHub API now requires a User-Agent

Merge to v5.3.4