Re: [PATCH v3 1/1] editorconfig: introduce .editorconfig