MIDI and Nano RP2040?

This thread seems to be archiving progress on porting libraries to the Pico chip: https://forum.arduino.cc/t/libraries-updated-to-support-new-rp2040-based-boards-raspberry-pi-pico-etc/860353
as of now I can't see any mention of MIDI though.