#4 Can't convert account into alias

[Robin Green]

I created an account called "mailman", then later
deleted it and tried to change it into an alias. It
didn't work - when I tried to delete it, the deleted
checkbox stayed checked, but the account didn't
disappear, and then when I tried to create an alias of
the same name jamm said:

" Account or Alias already exists.

An account or alias for mailman@lists.greenrd.org
already exists. "

Suggested fixes:

1. Either a deleted account should be really deleted
from the database straight away

or

2. alias generation should disregard deleted accounts
when checking for duplicates.

The current situation does not really make sense, IMO.