[Github-comments] Re: [geany/geany] Update CLI filenames docs (PR #3405)