"DROP INDEX" correction

I'm new to this place and this is obviously my first message to you guys. 

I've been using PostgreSQL for years now, deeply like it and I came to a point when I wish to give some of this love back. :)

So; I'm reaching out this mailing list - hopefully the right one - because we found a small "bug" or should I rather say missing information in the documentation.

Inside the documentation for DROP INDEX (https://www.postgresql.org/docs/9.6/sql-dropindex.html) - pointing to 9.6 version - there is no information that if you use DROP INDEX with CONCURRENTLY that you can't drop several indices at once. Meaning that this does not work:

PostgreSQL itself will raise exception

Although this is the correct statement per synopsis.

DROP INDEX [ CONCURRENTLY ] [ IF EXISTS ] name [, ...] [ CASCADE | RESTRICT ]

Proposal.

I suggest that you add a statement/explanation under Parameters > CONCURRENTLY that would say something like

"DROP INDEX with CONCURRENTLY can only accept one index."

I hope that this message will be helpful to someone and I wish you a pleasant day!

P.s.: If I can make this recommendation in the form of a patch or something please point me in the right direction.

Regards,

- Oto Brglez