[Github-comments] Re: [geany/geany] Complete plugin extensions patches (PR #3850)