Re: [Github-comments] [geany/plugins.geany.org] Remove deleted plugins from the web (#8)