[Github-comments] Re: [geany/geany] changed file extension: build commands did not change (Issue #3525)