Inaccuracy in the provision module documentation?

I am working out some provisioning/rollback issues.

I saw this in the documentation at https://github.com/mongoose-os-libs/provision:

Reset to factory defaults on bad WiFi credentials

This functionality resets the device to factory defaults if the WiFi configuration is entered by user incorrectly (wrong network name or wrong password).

If the device has at least once connected to the WiFi station successfully, reset is never done afterwards.

This is done via configuration parameter provision.wifi_configured, which is set to false on a fresh device. When the device first connects to the WiFi station, provision.wifi_configured is set to true. When WiFi connection fails, and provision.wifi_configured is false, factory reset is triggered.

Looking through the source code for the module, I don’t see any references to provision.wifi_configured, not am I seeing behaviour as this paragraph suggests (provision.wifi_configured never shows up in conf9.json).

Is this paragraph still accurate, or has it been superceded by the max_level stuff?