[Github-comments] Re: [geany/geany] Add Dockerfile filedef (PR #3757)