The description of the command line interface belongs more to the man
page. Because of this, add to the man page all the useful bits related
to the command line interface previously in the user documentation.