On Sat, Oct 24, 2026 at 10:11:11PM +0200, Patrice Dumas wrote: > On Sat, Oct 24, 2026 at 09:03:47PM +0100, Gavin Smith wrote: > > So the variety and prevalance of Info readers that support such entries > > may actually be quite low. Another point in favour of texi2any always > > surrounding the node name with DEL in such entries. > > So, should it be done or not?
I think we should do it. I wanted to see if anybody else had an opinion on it.
