I found Export PDF. It's in the Health Records > All Records button. Apologies for my confusion. FWIW, I asked Siri about this the way a normal user would and Siri kept pointing me to third party apps.