Ah so also apparently for this I need a library from the dev branch, none of which can be simply installed.
I’m really quite experienced in all of this, but this is driving me insane (and it’s nearly 3am).
Polite request, would you please consider spending some time and effort really focused on usability here. I get that firmwares and softwares change, but if I can’t even update the firmware from a popular maker board (Ras Pi), and it doesn’t work with a known useful maker IDE (Arduino), and ArduPy doesn’t seem to work here either, I’m not going to spend time evangelising this to others.