> Another option I thought of would be to display only the 10 results with > the highest relevance by default, when stdout is a terminal.
That would be OK as a second step. But first, we should get the sort order (the notion of relevance) improved. Bruno
