4 DROP USER — remove a database role
8 DROP USER [ IF EXISTS ] name [, ...]
12 DROP USER is simply an alternate spelling of DROP ROLE.
16 The DROP USER statement is a PostgreSQL extension. The SQL standard
17 leaves the definition of users to the implementation.