- Bugfix: it was not possible to delete a user account when "delete" was
  translated.  Patch by Stefan.