Re: improve CREATE EXTENSION error message

"Bossart, Nathan" <bossartn@amazon.com> writes:
> Okay, the message looks like this in v5:

>         postgres=# CREATE EXTENSION does_not_exist;
>         ERROR:  extension "does_not_exist" is not available
>         DETAIL:  Could not open extension control file "/usr/local/pgsql/share/extension/does_not_exist.control": No
suchfile or directory. 
>         HINT:  The extension must first be installed on the system where PostgreSQL is running.

Nobody complained about that wording, so pushed.

            regards, tom lane