GitHub repository: royalgarter/filemanager-plugin
Description: A file manager plugin for the editor "Micro"