On Thu, May 14, 2020 at 04:47:06PM +0200, Sebastian Urban wrote: > > In this case, I'm not sure if any of the two options is really worth > > it. While effort for curly quotes can be considered, changing one > > ASCII for another is not worth it in my opinion. Changing `` to “ for > > sections in source file seems to be much simpler, so I think it's the > > best out of three of them. > > > > Perhaps a "line" about this special case of “...” instead of ``...'' > > could be placed somewhere in Texinfo manual? (Just a suggestion.) > > What is the status here? Do you still consider working on it, or - > as I noted - is it to much effort, for too little gain, i.e. not > really worth it? >
I'm not planning on working on this soon. It would be messy to implement and quotation marks in chapter titles are rare anyway.
