Help:Delete User

Right now I can find no other way to remove a user than to manually delete them from the wiki database. Here are the steps (warning: there is no undoing this):

1. Goto http://hades.mech.northwestern.edu/phpMyAdmin/
2. Log into the MySQL server (this username/password is different than the webserver)
3. In the left-hand column, click on "user"
4. Now click "Browse" from the top of the main frame
5. Click the red "X" next to the username you wish to delete.