It seems to me (but what do I know) that if Mastodon really wants to eat Twitter’s lunch, search is a vital bit of cutlery