[galaxy-dev] Admin Delete Users

Hi, I noticed on that on the manage users page, even after deleting and purging users (by clicking on the delete and purge buttons on that page), their account still sticks around in the db. How does one remove these accounts permanently? Is there a script to do this? Thanks, Len