Florian Weimer <fweimer@redhat.com> writes: > I think the quotes are wrong, they should be `` '' (ASCII, Texinfo will > transform them). Or you could use @dfn and add an index entry. Yeah, Joseph already noted that in the original patch.