Simplifying .editorconfig, see #356