Re: [Github-comments] [geany/geany] plugins: add geany_plugin_register_proxy() to the plugin API (6e5ca69)