The page is not presenting right, I think. This HN comment from a few years ago [1] points to a script that purports to munge the files into modern HTML, but I

The page is not presenting right, I think. This HN comment from a few years ago [1] points to a script that purports to munge the files into modern HTML, but I have not tried it myself. [1] https://news.ycombinator.com/item?id=24876236 https://news.ycombinator.com/item?id=24876236