More auto-formatting improvements: convert more example citations and more section references, remove more bad OCR characters, wrap all subscripts and superscripts in braces