More info at http://editorconfig.org - this makes it easy for editors to
automatically perform the right indentation.