Re: [Github-comments] [geany/geany] Invisible umlaut dots with font Hack and font size 10 (#2854)