user: added command-line syntax section