User manual: translate page number references in the PDF output