Seeking an IDE. Working with MicroPython recently made me realise now, more than ever, how poorly the small board Python community is with tooling. The apparent choice of Mu editor and Thonny doesn’t come out as a great choices. That’s mainly, for me at least, because they talk to the boards ok, but the editing experience is dismal. Oddly selected keystrokes, atypical interactions, iffy window handling, very little in the way of useful syntax highlighting, almost no code navigation outside a file….