Upgrading esp32 firmware on Pico Wireless pack

Hello,

Looking at the Adafruit website it seems like the problem I am having is fixed by installing the latest software

       https://github.com/adafruit/Adafruit_CircuitPython_ESP32SPI/issues/123

Is it possible to upgrade the software running on the ESP32 present on the PicoWireless pack? How would I go about obtaining the right software/installing it? Can I use one of the procedures described on the following pages;

       https://learn.adafruit.com/upgrading-esp32-firmware/upgrade-rp2040-airlift-firmware

Cheers,

Rick

Anyone got an answer?