Add a short abstract.
A sketchy introduction.
Git-ignore bibtex auxiliary files.
Modify notation section: remove mention of DIFF, which isn’t used.
Minor wording touch-ups.