Attached is a patch that makes a few additional changes to the INSERT
documentation. These changes are mostly around formatting. I also
point out that unique index inference is mandatory when using unique
indexes and specifying a conflict target (because unique indexes are
not formally constraints).
--
Peter Geoghegan