whitespace police: trim all WS; UNIX LF; tabs to spaces.