Re: [csswg-drafts] Capitalization: "User Agent" or "user agent" (#5200)

A search an replace to capitalized is easier to perform though. And it is a special term, so having it capitalized does seem more appropriate, even if it is currently more rare. Anyway, Agenda+ to see if there's any appetite on unifying to one or the other.

-- 
GitHub Notification of comment by frivoal
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/5200#issuecomment-809076786 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Monday, 29 March 2021 05:27:32 UTC