4 ms·> Index contains ~25 million pages (soon to be much bigger) he was not wrongby profunctor 9y ago> Index contains ~25 million pages (soon to be much bigger) he was not wrong