I totally misunderstood the purpose of this extension. Now that you've pointed it out, it's clear that it's quite useful. I was previously manually entering all

I totally misunderstood the purpose of this extension. Now that you've pointed it out, it's clear that it's quite useful. I was previously manually entering all the users into the search box, which was a pain. I'm glad this extension exists to automate the process. It would be even better if Mastodon integrated something like this natively.