I think you have that backward. Allowing everyone to choose their desired indent...

		rerdavies 3 months ago \| parent \| context \| favorite \| on: Formatting code should be unnecessary I think you have that backward. Allowing everyone to choose their desired indentation in their editor config is the issue. That's insane!