Looks like the SDK got updated a couple hours ago:

https://github.com/raspberrypi/pico-sdk/commit/efe2103f9b284...