[Github-comments] Re: [geany/geany] terminal $PATH (Issue #4227)