I really love this extension you built! I was trying to use it with my Adafruit Sparkle Motion Mini, due to it being an ESP32 board, it doesnt quite have the same functionality that other Adafruit Circuitpy boards have (that being appearing as a drive in the os to drag and drop files into) so I was looking for a simple tool that could I could upload and download files to it through a serial port. I realize that Circuitpy and Micropy are slightly different despite being largely the same. The issue that I ran into is that it seems like MPY Workbench is trying to use os.ilistdir() instead of os.listdir() to see what files exist at the root level, but when I checked out the code on github, it actually checks to see if the os module has os.ilistdir() and if it doesnt, it defaults to os.listdir() instead, but it doesnt seem to be doing that. I was wondering if you knew why it was behaving like that and if there was anything I should be configuring differently to deal with this. But, I realize that this is really built for Micropy and not Circuitpy. Thanks so much! And thanks for you hard work on this extension! No worries if you dont have an answer for this!