Re: PDF bookmarks and special insertions & characters

[Gavin Smith]

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.