The top documents tagged [default tool type options]