incorrect (incomplete) description for "alter domain" - Mailing list pgsql-docs

From PG Doc comments form
Subject incorrect (incomplete) description for "alter domain"
Date
Msg-id 172225092461.915373.6103973717483380183@wrigleys.postgresql.org
Whole thread Raw
Responses Re: incorrect (incomplete) description for "alter domain"
Re: incorrect (incomplete) description for "alter domain"
List pgsql-docs
The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/16/sql-alterdomain.html
Description:

In the Synopsis section of
https://www.postgresql.org/docs/current/sql-alterdomain.html
this is incorrect (incomplete):
"ALTER DOMAIN name ADD domain_constraint [ NOT VALID ]"
It should be 
"ALTER DOMAIN name ADD CONSTRAINT domain_constraint [ NOT VALID ]"

pgsql-docs by date:

Previous
From: Masahiko Sawada
Date:
Subject: Re: pg_createsubscriber clarification
Next
From: Erik Wienhold
Date:
Subject: Re: incorrect (incomplete) description for "alter domain"