Arduino Lab for MicroPython is a lightweight editor for MicroPython programs, supporting connection with a board, code upload, file transfer and interactive REPL shell. This project is sponsored by ...

I recommend you going to the documentation site, but this should work too. If you don't use Discord then feel free to open a GitHub issue, do note I am a bit slower in responding in GitHub.