Noticed this one by chance: we should use LaTeX style `` .. '' quotes in
normal text. The translation tools know to turn these into nice HTML
quotes and they're also right for the Reference (in LaTeX). Using "
results in ugly LaTeX.

Modifications and some new stuff.