Could you show me how to make PDF to HTML conversions, or where to find out?
Well, it can be somewhat simple if you're running Linux. There is a program called pdftohtml that will perform an automatic conversion for you. On the the particular file in question though, I really didn't like the output at all, so I used pdftotext to convert it to ascii, then I did the markup manually. Took me about six hours to do the decision I linked. I'm not sure if there are any dos/windows equivalents, but I'd be somewhat suprised if not.
If you can burn a DVD or CD, you can download Knoppix or one of the other live Linux operating systems, just about all distributions come with both pdftotext and pdftoascii. You could boot off of Knoppix and do the conversion, then copy the file to a usb drive or something.
If you have something that is fairly simple, you could freepmail me and I'll try to help.