"Brendan Jurd" <direvus@gmail.com> writes:
> I'm also dreading the possibility that we go to the trouble to remove
> the indentation, and a few days later somebody posts on the lists
> saying "What happened to the indentation? The new version sucks!"
I think it looks fine now (with your recent changes). So let's declare
victory and go home ...
regards, tom lane