Slightly improved indexing for the string-% operator, thanks to comments
from Skip Montanaro. There is one weirdness in the final index for HTML, but
that is low priority.
diff --git a/Doc/lib/libstdtypes.tex b/Doc/lib/libstdtypes.tex
index 2b87159..ed0c4d9 100644
--- a/Doc/lib/libstdtypes.tex
+++ b/Doc/lib/libstdtypes.tex
@@ -670,10 +670,11 @@
\subsubsection{String Formatting Operations \label{typesseq-strings}}
-\index{formatting, string}
+\index{formatting, string (\%{})}
\index{string!formatting}
\index{printf-style formatting}
\index{sprintf-style formatting}
+\index{\protect\%{} formatting}
String and Unicode objects have one unique built-in operation: the
\code{\%} operator (modulo). Given \code{\var{format} \%