Re: [Github-comments] [geany/geany] Tagmanager file format (#2232)