PicoProbe: Interface/picoprobe.cfg missing (+ how to fix it)

Connected a Pi Pico through a PicoProbe.
Installed VSCode + PlatformIO using this simple tutorial (https://www.schaerens.ch/pico-developing-for-raspberry-pi-pico-w-with-platformio-and-c-c/).

On Upload, OpenOCD complains about:
embedded:startup.tcl:28: Error: Can't find interface/picoprobe.cfg

Digging through folders I can see picoprobe.cfg is missing in
/home//.platformio/packages/tool-openocd-rp2040-earlephilhower/share/openocd/scripts/interface/

Solution:
Create a new file named picoprobe.cfg in the folder, with the following text

# Adapter section
adapter driver cmsis-dap
adapter speed 5000

Notice adapter driver picoprobe is replaced with adapter driver cmsis-dap.

For completeness, my content of platformio.ini is now:

[env]
platform = https://github.com/maxgerhardt/platform-raspberrypi.git
framework = arduino
; uncomment this to use Arduino-Pico
; keep commented to use ArduinoCore-mbed (official RP2040 core)
;board_build.core = earlephilhower
;board_build.filesystem_size = 0.5m

[env:pico]
board = pico
; if using picoprobe SWD upload / debugging
upload_protocol = picoprobe
debug_tool = picoprobe

Start with the PlatformIO OpenOCD package path in ~/.platformio/packages/tool-openocd-rp2040-earlephilhower/share/openocd/scripts/interface/ and inspect how interface configuration files are packaged. Use the provided platformio.ini with a PicoProbe to reproduce the missing-file error, then verify that the configuration is present and upload works.