Filter button on Tags page?

It would be nice if there was a filter button on “Tags” page to filter out the local-toots, I mean when the administrator has set to display toots from all the known fediverse.