By coincidence I found out just now that we're having `LUA_USE_MODULES_WIFI_MONITOR` in `user_config.h` at https://github.com/nodemcu/nodemcu-firmware/blob/master/app/include/user_config.h#L138. This to me looks like a mistake as all modules should be enabled/disabled through `user_modules.h` exclusively, no (#2913 aside)?