Links for texdoc-cli