Over the last decades, and in particular since the widespread adoption of the Internet, encounters with algorithmic procedures for 'information retrieval' - the activity of getting some piece of information out of a col-lection or repository of some kind - have become everyday experiences for most people in large parts of the world.