[Github-comments] [geany/geany-plugins] File browser plugin: filtering directories (#817)