Hi Tomas, I've pushed your fixes, thank you.
As mentioned in a comment at the top of htmlxref.cnf, would you mind submitting a diff of our copy from the version hosted here: http://ftpmirror.gnu.org/texinfo/htmlxref.cnf and email it to [email protected] so they may update it with our additions? -- Thanks, Maxim
