Documentation: New GUI configuration and command-line options.