Now paying the price for not arguing more convincingly that “tabs as spaces” is wrong.