Using the Symbolics Document Examiner was the best manual reading experience I've ever had