[Github-comments] Re: [geany/geany] manage Geany instances (Issue #3351)