DROP GROUP — remove a database role
DROP GROUP [ IF EXISTS ] name [, ...]
DROP GROUP is now an alias for DROP ROLE.
There is no DROP GROUP statement in the SQL standard.
If you see anything in the documentation that is not correct, does not match
your experience with the particular feature or requires further clarification,
to report a documentation issue.