 there is no mention in the user guide on how additional parameters to a command such as `exit` is handled  <!--session: 1681457720408-f0cc559c-3b6e-4eb2-a93a-bc9ffe518e79--><!--Version: Web v3.4.7-->
there is no mention in the user guide on how additional parameters to a command such as
exitis handled