jp6/cu124: links for texdoc-cli