I don't believe theymos would be OK with someone else registering a previously used username either
I don't think it's even possible: usually, only the display is changed, not the "real" username:
Forum-wide, the display name is always supposed to be the name displayed, though the username can be used as an alias in some places.