This is a copy of the HTML version of the manual found in 6.858 in MIT. You can read it online.
Since there are lots of typos in the manual, and they sometimes cause misleading or confusion to the readers, we push the HTML version to github and call for contributions to fix the typos.