* Global options can only be changed via the configuration file or system properties (see above).
* With {{Version|7.5.1}}, also local options can be specified in the configuration file after the comment `{{Code|# Local Options`}} comment.
Various ways exist to access and change options: