hello
iβve thought about adding something like this
at the beginning i made it so you had to pick a short username you couldnβt change in preparation for it
but people found that confusing so i had it auto generate numerical IDs (~123)
anyway iβm planning on eventually adding a better notification system that tells you if you missed an emoji getting added to your post etc
so i could put something like this in with that
would have to make it optional of course
but yeah iβd need a good UI for mentioning people by their ID
or let people pick short names again