[Github-comments] [geany/geany] Tags file extension (#2230)