[MM3-users] How to delete user completely?

I have installed mailman3 and it's up and running great. However, I noticed that, during a mass subscribe, I mis-typed an address, e.g. name@domain.ned rather than name@domain.net. I found how to unsubscribe the bad address, but I haven't found a "delete" option under Users or anywhere else. How to I purge a user from the users list?

As a related question, in docs.mailman.org, I can find a list member's manual, but I can't seem to find an admin manual. Is there one?

Thanks!

billo