Comment by crooked-v

> I always felt PDF is better for content like this than HTML which can change dynamically

It's not that hard to edit a PDF file either, though.