some server docs, just command line options for now