man/: update with changes since Apr 2018
Description
Update man pages with changes since Apr 2018.
Related to #8, since we must work around it by manually updating periodically like this.
Update man pages with changes since Apr 2018.
Related to #8, since we must work around it by manually updating periodically like this.