jp6/cu128: links for texdoc-cli