I did for a while, it ended right when Discord removed its username numbers feature. I used it to get a perfectly rounded-down number at the end of my username, among other things, though there’s not a lot I would use it for that I can’t live with or adapt to. On the topic of Matrix, I’m on both but think Discord is more savvy, and I use this everyday in my server which welcomes all people with friendly warmth and is suited for almost everything you might like.