Since no real url on tug.org ends with a period (as far as I imagine/discern), Max had the idea of adding a rewrite rule in the web server so that https://tug.org/texlive/doc.html. is redirected to https://tug.org/texlive/doc.html I see no harm in it. So, to placate the deficient url heuristics out there, I put it in. Hope this helps. Thanks Max! -k