Synced with pdfgetx3 r.