Thank you very much for the link! This is very useful. I mean, with all those search engines around, it's nice to have an alternative. I think I have used most, if not all, of the old search engines already. Not that I do not like them but having an alternative is also good.