Obvious printer’s errors have been silently corrected; otherwise, as far as possible, original spelling and punctuation has been retained.

Notes have been renumbered sequentially, and references from the index edited to match.