user-agent.js: legalese