The manual was not changed because it’s correct, the sections you mention are not essential, they were added later by François. I built the manual
from git at the time of the release and did not change it later.We need someone to take care of the manual to make sure it is synchronised with the
release, which in this case wasn’t.
In any case, the manual is easily available online, you don’t need to build it. All you need is to clone csound.github.io. It’s all there. Instructions to
build it are in the manual repository README.md. Also if you clone the manual repository and checkout the gh-pages branch you should be able to
access the latest build, which is published in https://csound.com/manual