On Fri, May 01, 2020 at 09:46:39PM +0100, Gavin Smith wrote: > I downloaded the Texinfo sources for the Emacs manual from > https://www.gnu.org/software/emacs/manual/emacs.html and reproduced the > problem. I am working on it.
I think I've fixed it although more testing would be good.
