Re: [Github-comments] [geany/geany] How to have a filename extension recognized as another (#2694)