There should be an explanation of the "senao" (or "else") behavior in the following places:
- the instructions message of the first level where it is needed (marked with a
TODO in the code)
- the command reference, starting from the same level as in the previous item