Both are good, so I'm cool with user agent. But I think we should have it be `User-Agent` - it's true that case doesn't matter when getting the headers, but `User-Agent` may be a little more recognizable as a header.