Karl Berry Mon, 10 Oct 2022 13:31:56 -0700
Hi Gavin - not that it's terribly crucial, but the setting htmlxrefversion=2022-01-10.18; # UTC
is apparently out of date by 9 months or so: $ ls -l htmlxref.cnf -rw-r--r-- 1 karl karl 22555 Oct 8 23:52 /home/ftp/tex/texinfo-latest/htmlxref.cnf -k
