The micropython support is interesting; most activity is on circuitpython but micropython supports older chips (the ESP8266 and the very first OG original ESP32 are two examples of hardware I have on my desk). They both work, its just the odds are vastly higher of finding a library for circuit rather than micro and there's probably ten circuit python users for every micropython user. Although I "have to" use both. I…
As for libraries; there's a whole lot of MicroPython libs listed on awesome-micropython.com and, if you need to use a CP library in MP, it's often trivial to port.
I was a little surprised to see MicroPython mentioned at all here since there's not really much that Ubuntu is doing to provide that support. I guess it was to refer to the popular RPi Pico, which has official support with MicroPython. CircuitPython support is becoming very close to parity on the Pico though.
(I'm not sure what you mean wrt UF2 on ESP32-S2; it has always worked fine for me? I just tried it again and there were no issues. Note that - unlike the Pico - the UF2 bootloader is not in ROM so you have to install it first.)