turn off indent-tabs-mode, since it is hard to get people to agree on tab stops