I mean, it is easier. It's also not just replacing the #nnnn, but also it fixes the terrible choice they made of being case sensitive and allowing special characters, which can make it almost impossible to find some usernames unless copied carefully.