Nulls Not Distinct in Unique Indexes secton

The Unique Indexes section (https://www.postgresql.org/docs/15/indexes-unique.html) does not mention the new NULLS [ NOT ] DISTINCT capability of indexes (https://www.postgresql.org/docs/15/sql-createindex.html), and it probably should.

Specifically, it has the exact wording from previous versions (emphasis added):

    When an index is declared unique, multiple table

    rows with equal indexed values are not allowed.

    *Null values are not considered equal*.

We should consider adding "unless the NULLS NOT DISTINCT clause is used when creating the index", or something to that effect.