I assume the GUI got changed at some point and the manual was never updated. Someone should do a search to find all the references, but as a stopgap, I’d suggest adding a note to the bottom of the first page, saying “if you’re looking for the buffer setting, it’s on this other page”. It took me a while to find it.
Thanks.
The first had already been fixed in the development manual (it’s too late to change the released manual).
The second is on the Audacity wiki rather than the manual.
I did however find a couple of others in the development manual which I have now fixed.