[Github-comments] [geany/geany] Do not strip dots from proxy plugin extensions (#1233)