Fixes PDFDocumentProxy.getDownloadInfo API name (and refactoring)