Philip Kaludercic <phil...@posteo.net> writes: > Would you happen to know what the issue is? As I said, the documents > appear to render just as expected in my case, but it might just be due > to the version or because I didn't hit some specific edge-case.
The link I shared is all I know. Apparently, using some symbols in node names is discouraged by texinfo manual exactly because it can break some edge cases. The recommendation is replacing those symbols with texinfo commands, which is less discouraged. Probably, the right way to approach this issue is using texinfo commands to insert [.,:] and also issuing a warning during export. Best, Ihor