I was expecting a nicely-typeset PDF, but it looks like they simply printed the webpage to a PDF. The content is probably in the public domain though, so maybe

I was expecting a nicely-typeset PDF, but it looks like they simply printed the webpage to a PDF. The content is probably in the public domain though, so maybe I'll take that on as a challenge—to produce a proper PDF edition.