I opened the PDF and then just did typing. I am a good typist and I can copy pretty fast. I also can format HTML on the fly...
Thank you for your efforts.