root/public: links for devtools-user-agent