[Github-comments] Re: [geany/geany] rename documents (Issue #3326)