Re: [Github-comments] [geany/geany-plugins] Ship peasy with geany-plugins instead of geanypy (#1013)