htmlxref.cnf vs. manual names with a dot

[Ludovic Courtès]

Hello!

The Guix manual has this bit of text:

--8<---------------cut here---------------start------------->8---
This manual is also available in Simplified Chinese (@pxref{Top,,, guix.zh_CN,
GNU Guix参考手册}), French (@pxref{Top,,, guix.fr, Manuel de référence de GNU
Guix}), German (@pxref{Top,,, guix.de, Referenzhandbuch zu GNU Guix}), and
Spanish (@pxref{Top,,, guix.es, Manual de referencia de GNU Guix}).
--8<---------------cut here---------------end--------------->8---

and ‘htmlxref.cnf’ contains these lines:

--8<---------------cut here---------------start------------->8---
guix.de         mono    ${GS}/guix/manual/de/guix.html
guix.de         node    ${GS}/guix/manual/de/html_node/
guix.es         mono    ${GS}/guix/manual/es/guix.html
guix.es         node    ${GS}/guix/manual/es/html_node/
guix.fr         mono    ${GS}/guix/manual/fr/guix.html
guix.fr         node    ${GS}/guix/manual/fr/html_node/
guix            mono    ${GS}/guix/manual/en/guix.html
guix            node    ${GS}/guix/manual/en/html_node/
--8<---------------cut here---------------end--------------->8---

Yet, in the HTML output, references to “guix.fr” etc. are always
replaced by the URL of the English manual (“guix”).

Is the “.LANG” extension in the manual name somehow stripped?

Is there a workaround you would recommend?

Thanks in advance,
Ludo’.