I'm using the MicroPython Editor on Linux. I'd like to have a "lib" folder that is shared between projects. I can create a "lib" folder under one project, and the Files view will show it with the ...