Embassy MQTT recommendations (RPI Pico 2w)

Hi All,
I have a RPI Pico 2W connected to my wifi using embassy_net 0.7.1. The next thing I want to do is connect to an MQTT server. Can anyone recommend any libs/tutorials?

Thanks,
Drew

I think this one might help. although it's for esp32, not the pico, the mqtt part (based on the rust-mqtt crate) should be portable, and should not depenent on low level hardware details.