I once coded a quick search over the menu and the plugin tables. After Jeffro's post I just put it in it's own plugin and I hope to get that on wp.org soon: At your fingertips – just search quickly the long lists. has some screenshots.