On Mon, Sep 30, 2024 at 09:25:25PM +0100, Gavin Smith wrote: > This needs more explanation: we certainly do not want to say that > links generated in HTML output are always to "localhost".
I saw this was already discussed: https://lists.gnu.org/archive/html/bug-texinfo/2024-08/msg00117.html I'm trying to work on rewording this part of the documentation.