[gnicholas]

All done by hand. This was the last round of edits before printing, so couldn’t risk missing any of the botched edits.