I know everyone will hate it. Go ahead. Complain. Call me names. At least now things are consistent and reproducible. If you want changes, have your complaint come with a patch to scripts/whitespace.pl so that we can automate it. 114 files changed, 4437 insertions(+), 3784 deletions(-) Who would have thought we are already at 114 source files??? /D