> I was searching in the Index for 'flageolet' instead of '\flageolet'. > I global search of 'flageolet' and following every result determined > this.
This is an artifact of our ancient `texi2html` version which are we
are currently still forced to use. In the PDF manual, the index
entries look like the attached, which is much friendlier.
Werner
