I was suggesting this because when we search on the desktop without an @, there are two columns.
One column shows matching topics and the second one shows users. And clicking on a user takes you to their profile.
So the users will naturally expect the same behaviour on mobile too.
But anyway, its only an opinion. ![]()