Update: I quit using paper manuals for good last year