On Sun, Jan 02, 2022 at 08:20:18AM +0000, Werner LEMBERG wrote: > > The nice thing is that it would work out of the box with HTML > browsers, too. On the other hand, maybe there could be some further > massaging to convert U+2007 to an ordinary space entity together with > some formatting CSS so that cut-and-paste don't contain U+2007.
I think that we should simply leave the unicode character or entity as is in HTML and let bowsers and users handle it. In Info it could be different, we could want to do something, but I do not think that we should really go down that road as it could add a lot of complexity if there are many of those special characters, and also it does not fit very well in the spirit of texinfo which is semantic at the command level, not at the character level. -- Pat
