Either a ajax or even a basic search should be implemented in the backend of Joomla. There are a few extensions for this which I use one, but this is something that should be built into the backend. This would help newbies as well as hard core developers with finding articles, modules, menu items, and plugins. I'm sure it would help a lot of people to have this addition.