Notice. New forum software under development. It's going to miss a few functions and look a bit ugly for a while, but I'm working on it full time now as the old forum was too unstable. Couple days, all good. If you notice any issues, please contact me.
Having in my hands the RBpico Zero and the RBpico Pro Micro, due to the (somewhat strange, by the way) pin layout, I used the Zero. With the option to change the VGA output pins, I was able to make it work.
First, I loaded the VGA USB firmware, then I connected a USB-to-serial adapter to provide 5V power and used the terminal to change the VGA pins. After that, it worked perfectly.
A big advantage of this exercise is that if you have a “different” RBpico, you can make good use of it. What remained on was an RGB LED connected to GP16 (according to the RBpico Zero manual).