The configuration framework provides a way to change the Zeek configuration
in "option" values at run-time.
