"option batch continue"?

The change list for version 4.0.3 includes the following note:

Bug fix: Failure when automatically reconnecting the session from script with

option batch continue

No such option value is in the documentation: should it be?

Where do you miss it? It is both in online documentation and in "help option".

Sorry: I missed it. Ignore this suggestion.