Does the username become available for other users? Like the person that get's banned doesn't come back. But some random person comes along and while choosing a username he coincidentally picks the username of someone banned. Will it be available or not?