With the newly added search, the options matching the description on the current tab are successfully highlighted, but what about the other tabs? How about highlighting the relevant tabs' names as well?

Wrong repo lol