On Mon, Aug 15, 2022 at 11:52:53AM +0200, Patrice Dumas wrote: > Hello, > > I also think that it should be reported to the Emacs developpers that it > should be implemented in the Emacs Info reader, if it is not already > done.
I did it: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=57277 -- Pat
