Add a 'help options' command to show all global options, and improve the setup documentation.