update the manual yet again

(this is slightly different from what is in nikola’s docs/ directory.
The first person to point out the difference gets a cookie.)

Signed-off-by: Chris “Kwpolska” Warrick <kwpolska@gmail.com>