Re: gen_random_uuid is only available with pgcrypto enabled

PG Doc comments form  writes:
> Regarding the documentation on this page:
> https://www.postgresql.org/docs/15/functions-uuid.html

> It think the documentation should state clearly, that postgres natively does
> not have any UUID generation functions.

That hasn't been true since we added gen_random_uuid() to the
core code in v13.  pgcrypto's version is now just a deprecated
wrapper for that.

			regards, tom lane