Minor Manual update
July 6th, 2020
Note: I posted updated versions of the combined manual, as well as the manuals of several sections. The only changes were to fix the errata (which are published to the Errata spreadsheet in the Intro section of the website).