Adding information how to quit batch mode when a batch fails

When running an interactive batch in CLI and there is some fail in steps it would be nice to get information how to exit the batch mode. The proper command is discard-batch (as I understood from documentation at https://developer.jboss.org/wiki/CLIBatchMode) but it's a bit uneasy to find that command.

Currently when some error occurs I can see message like

[standalone@localhost:9990 / #] run-batch
The batch failed with the following error (you are remaining in the batch editing mode to have a chance to correct the error):
WFLYCTL0062: Composite operation failed and was rolled back. Steps that failed:
Step: step-2
Operation: /subsystem=transactions:write-attribute(name=process-id-uuid, value=false)
Failure: WFLYCTL0105: process-id-uuid is invalid in combination with process-id-socket-binding

Could there be added a note that for quiting interactive batch mode use discard-batch command?