The Port highlight search Chrome extension is great. Having the same functionality in other browsers, particularly Firefox, would be greater!

ref: https://docs.getport.io/search-and-query/global-search#port-highlight-search---chrome-extension