
Amend 468ebc5ed540c77dea4772a35678b5b2575ac4ed by regenerating the man page and its HTML version according to the changes in #443.
Amend 468ebc5ed540c77dea4772a35678b5b2575ac4ed by regenerating the man page and its HTML version according to the changes in #443.