[geany/geany] 931df7: Merge pull request #1233 from b4n/proxy/dotted-extension-warning-only