I've pushed a few more mostly mechanical cleanups. I made them in a local branch and I propagated them. I think that the result now is that you don't have the original commit message, which is a disadvantage of that method. I'm not sure I'll use that method in the future.
To compensate at least a bit, I put all commit messages together in the CHANGES file. Unfortunately you can't see for each step individually that they look simple enough to be correct :-( I could push the branch, but then you get the clutter I was hoping to avoid. -Olaf. -- ___ Olaf 'Rhialto' Seibert -- The Doctor: No, 'eureka' is Greek for \X/ rhialto/at/xs4all.nl -- 'this bath is too hot.'