Fixing Joe's token

Issues: Joe Urbanski's token isn't authenticating him. Also, I can't login to crypto console because I have a locked token associated with my account. The token I'm using is 312515182. The other token should be removed from my identity. Possible solution to Joe's problem: Making his MCS username match his CI username. I did that, however I recall from the past we *undid* that because jurbanski is 9 letters. Do we have any issue with usernames longer than 8 characters still? Once I can get in on crypto console, I can work with Joe on this. -- Craig