There's no way that I know of to export personas from HubSpot to PDF.
What I would say is that (cover your ears HubSpot) is that entering all that information into HubSpot has no real impact on how it works - persona becomes a contact property like all others. Therefore, I recommend you work the other way around - create your personas outside HubSpot, in a sharable format, first and then enter that information into HubSpot.
Due to GDPR compliance, we are obligated to provide any user in our system visibility into the data we have collected. Exporting this data into a CSV file is not a good format (it looks terrible, it's editable, bad practice). It would be ideal to provide anyone with a PDF of all properties associated with that user.
There's no way that I know of to export personas from HubSpot to PDF.
What I would say is that (cover your ears HubSpot) is that entering all that information into HubSpot has no real impact on how it works - persona becomes a contact property like all others. Therefore, I recommend you work the other way around - create your personas outside HubSpot, in a sharable format, first and then enter that information into HubSpot.