@miles the main issue I've seen people bring up is that people can't just guess your username on discord because of the # number, even if they know you use the same username everywhere.
I think the no-case-sensitivity thing is a good change, but the loss of the # number is odd.