ESP8266 Arduino KRACK fix, compile using PlatformIO?

The docs do not mention how to install the staging environment if using pio CLI rather than IDE

$ platformio platform install https://github.com/platformio/platform-espressif8266.git#feature/stage

then use:

[env:nodemcuv2]
platform = espressif8266_stage
board = nodemcuv2
framework = arduino

Is this correct?