Re: [Github-comments] [geany/geany-plugins] devhelp: use new plugin API (#707)