Whitespace cleanup

Tabs to spaces, removing trailing spaces.  No change in content.  Expect later proposals to depend on this one.