Feature request: enter profile name letters when tagging

[pacorob]

It would be great if you could enter the name of a a person when tagging someone in a post. So e.g. @tho will show up for people that I follow from which the name starts with Tho so e.g. Thomas R. while in fact his account name is different.