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