@Gargron username lookup (for even users my acct knows already, follow, followed by, & at-convo'd with, prior) has been broke for me starting this Sat. in Mastodon Android. on toot.io. I know it coincided with search change rollout, but dont know root cause

eg. in app I see that "joe5557gkshbfbsbnf" boosted a toot into my feed. I dont like this. want to jump to joe's profile to unfollow or hide his boosts. I go into search tab, type in joe: no hits. joe5567: no hits. even his full username. no