I wonder how much of python3 beyond https://micropython.org we need... However, I also wonder if rather than porting to python3 we should port everything to JS