Comment 15 for bug 822780

I've just merged Joao's work in rev1027. It would need a lot of testing and reporting bugs. Please, write your opinion on how the search feature works and what could be done differently/better.