More tips in the manual page, and documentation for
a few more changes made to the tool.