[Github-comments] Re: [geany/plugins.geany.org] Update install.html (PR #23)