2 ms·

I think you have that backward. Allowing everyone to choose their desired indentation in their editor config is the issue. That's insane!