Talk about "options" and "monitor" in user guide
Show an exceprt from api: options
automatic casadibot merge