Okay GitHub, et. al., you win: Tabs to insert tabs, but spaces for tabs so things look properly indented everywhere.