.editorconfig: set indent_size to 4