Detab sections to highlight changes

The whole file still needs detabbing, but can only be done later.