Request: Filter tabs in sidebar

[AndydeCleyre]

I'd love to be able to filter the sidebar tabs by case-insensitive substrings from the tab titles and URLs.

This would be useful for both focusing on and finding certain groupings quickly, as well as then selecting all matching tabs to assign to a different workspace.

Ideally multiple terms could be combined in an OR fashion, such as with the | character, as in:

github|codeberg

For an existing tab sidebar extension that offers this, see tabstash (when using its sidebar).