MuPDF, a lightweight PDF and XPS viewer