5 ms·How the Times Zeroed in on Key Facts in 900 Pages of Documents in 10 Minutes4 points by panarky 8y agosmn1234 8y agoIn some part by leveraging an optical character recognition tool to do keyword searches