Hi @LauraM
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.
Hope this helps.