Ich weiß nicht, ob ich hier den richtigen Bereich gefunden habe.
Heute erschien auf Heise.de ein Artikel über das Programmieren des Pico mittels der Arduino-IDE:
https://www.heise.de/tests/Ras…rogrammieren-6001575.html
Vielleicht ist das für einige Pico-Leute von Interesse. 
Edit: Oder sollte das vielleicht ein April-Scherz sein? 
