Nowadays, we take web search engines for granted. For many people, their favourite search engine (Google or some other) is their primary or even sole entry-point to the web. Not only that -- it also, in some sense, _is_ ...