Seems like they could avoid this problem, keep old accounts, and still free up the namespace by just renaming all these accounts @_archived_originalname (or something better).
Maybe with some kind of process to re-activate the account under the original name (or a new one if it has since been taken). And some kind of hands-on resolution process for people who accidentally got deactivated. Feels tractable.