Add the PDF version to the JSON properties