It should be possible to delete a user

This is a continuation of !28 (comment 99422).

Right now it's not possible to delete existing users.