[smichel17]

I've always avoided that for fear that my or someone else's editor will accidentally replace the tabs with space. Mixed is not a common configuration, these days.

[account42]

This makes me want to use this just to get people to fix their broken editors.