It seems the SQL command “
DELETE USER wenchen;” does not work well because of the note below:
⇓ Right-click the name & delete
⇓ OK
Note that:
Deleting server logins does not delete the database users associated with the logins. To complete the process, delete the users in each database. It may be necessary to first transfer the ownership of schemas to new users.