I have been experimenting with the Raspberry pi Pico and micro python. I am looking for an IDE with a few more facilities? Anyone have recommendation? I use a Mac as my host or a pi4 running ubuntu. Thanks Malcolm