I wanted to remap some keys in the firmware of my Pocket’s keyboard, swapping ; and ' mainly, and so I followed the instructions in the handbook. It doesn’t mention installing the pico-sdk-source package, which seems to be needed by the build script (maybe this needs to be in install-fw-dependencies?) and also, to copy it to the keyboard, it says to run sudo picotool load build/pocket-hid.uf2 -f --bus 1, which in my case accidentally flashed the keyboard firmware to the system controller. That could be because I’m on the A311d module and not the standard one? But still.
This is in the PDF and HTML versions. After re-flashing the system controller with the right firmware (after first disassembling and getting it to stop sending an infinite string of ts), I noticed there’s a flash.sh script in the pocket-hid folder, which worked fine.
Anyway. I don’t know if those docs are maintained, but it might help the next person to fix them up.