root/public: links for texdoc-cli