Robert Haas <robertmhaas@gmail.com> 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