Whitespace

Tabs to spaces and back, trailing whitespace, blank-line squeezing, indent width.