add most recent version of hpmor-prince, plus some generated PDFs