Re: [Github-comments] [geany/geany] Plugin unloading (#2423)