I don't like the default argument here. `setUserAgent(HTTP.defaultUserAgent)` is longer but that doesn't really matter as it's probably an extremely uncommon use case, but more importantly, it's perfectly self-documenting, unlike `setUserAgent()` which does not really have any intuitive behaviour IMO.