Robert Haas <[email protected]> writes: > No, I'm wrong about that, too. I don't seem to see it installing by > default, but maybe I am also wrong about that.
No, we don't install it at all. If you choose, you can manually
copy it to someplace in your $PATH.
regards, tom lane
