PDF Search: the great dinosaur mystery solved