At least debate this issue on the relevant points

[text] 10 f x No one is pressing the spacebar for indentation Tabs vs spaces is a matter of conceptuality and practical advantages not a matter of typing how often do you even have to manually set indentation when your editor does it automatically anyway