Why not both? Wasn't the point of the PDF/A ISO standard to
use it for archiving? I always felt PDF is better for content like this than HTML which can change dynamically
https://en.wikipedia.org/wiki/PDF/A
VeraPDF also exist for PDF/A validation https://github.com/verapdf