Re: [Github-comments] [geany/geany-plugins] workbench: revised tag-manager control/usage (#867)