How Long Does It Actually Take to Find a Document? — Dissecting the Many Stats Out There