Well the heck with the crazy pico-sdk! I stumbled on this page, and what do you know, it works! Slapped together a quick #Arduino sketch to use KeyboardBT and sure enough, the Pico W pairs and it types! I'd love to be able to do it in Python, but Arduino is almost as easy.

https://arduino-pico.readthedocs.io/en/latest/bluetooth.html