Nice — when I search for “simple” in wordpress admin interface, I see “simple” highlighted in all the post titles.

I also want to use “tiny” in a similar fashion.