This is a huge set of pedantic changes, none them affecting actual code. Mostly, I tried to: - use consistent names; e.g, use LaTeX wherever possible, not latex; - fix broken symbol links; - use capitalized comments with full stops.