We probably wouldn't force-purge the names. We'd rename them to something else so that the user still has the account, they're just named something like "ex_23748234" or whatever. I don't want to force purge because they might have some content in some of these situations.

If we did force-rename them, the old name would be immediately available for free.