Delete an existing role.
edgedb [connection-option...] drop-role nameedgedb drop-role is a terminal command equivalent to
                DROP ROLE.
See the Common Connection Options.  The
                            create-superuser-role command runs in the database it is
                            connected to.
The name of the role.