cmdline options; docstrings