Re: [Github-comments] [geany] Proxy plugins (#629)