It’s not similar enough to cause a lot of confusion, so I don’t think there’s really any reason for him to change his username.