Use HOMEBREW_USER_AGENT in GitHub::open, and revert manually setting a user-agent for curl() at one call-site.