pgsql: Doc: clarify that CREATE TABLE discards redundant unique constra

Doc: clarify that CREATE TABLE discards redundant unique constraints.

The SQL standard says that redundant unique constraints are disallowed,
but we long ago decided that throwing an error would be too
user-unfriendly, so we just drop redundant ones. The docs weren't very
clear about that though, as this behavior was only explained for PRIMARY
KEY vs UNIQUE, not UNIQUE vs UNIQUE.

While here, I couldn't resist doing some copy-editing and markup-fixing
on the adjacent text about INCLUDE options.

Per bug #16767 from Matthias vd Meent.

Discussion: https://postgr.es/m/[email protected]

Branch
------
REL_12_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/e824ddc37f3c57a52eec0d56131c4949cd66220c

Modified Files
--------------
doc/src/sgml/ref/create_table.sgml | 58 +++++++++++++++++++++++---------------
1 file changed, 36 insertions(+), 22 deletions(-)