Like in the title. A thing very little. Very easy to do and very helpful if you have tones of plugins installed. Make SEARCH feature in Extension Manager. That’s it.
And sort the various columns, e.g. by author. Also add a column for install date! One of the most common reasons to open EM to to uninstall or disable a recently installed extension that didn’t do what you wanted it to do.
+42! 