there's a username i'd like to change my name to, but it's being held by an account that hasn't been active since 2013 and seems to be banned. would i submit a ticket for the username to be transferred, or is it eternally locked to the banned account?