Drat. This patch isn't quite right; it mis-handles typeface specifications. E.g.
#+index: =Class=
generates an index entry for =Class= instead of an entry for "Class" set
in monospace font.
Maybe someone who understands the intricacies of exporting can figure
out a fix. The problem is likely to be the fact that my \index{=Class=}
is protected from the font rewriting.
Any suggestions?
Best,
r
