Editorconfig is not specific to a particular IDE, and is therefore a better choice, assuming it can do what we need.