gen_random_uuid is only available with pgcrypto enabled

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/15/functions-uuid.html
Description:

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. You can use the `pgcrypto` or
`uuid-ossp` extensions though:

CREATE EXTENSION "pgcrypto"; /* enable pgcrypto extension */
SELECT public.gen_random_uuid(); /* -> uuid */

See https://www.postgresql.org/docs/current/pgcrypto.html#id-1.11.7.37.11

CREATE EXTENSION "uuid-ossp"; /* enable uuid-ossp extension */
SELECT public.uuid_generate_v4(); /* -> uuid */

See https://www.postgresql.org/docs/current/uuid-ossp.html