I've just realized every time I do a copy and paste on the HTML web page, it inserts some redundant characters which defeats my purpose of being efficient.
I have been doing that on Guide: Creating Safari Bookmarklets and it frustrates me when it doesn't work and sees no problem at a glance.
Anyway, I have corrected it. I did a "Save as PDF" on Guide: Creating Safari Bookmarklets. The URL address on the Safari browser seems to indicate it is doing it. I suppose what is on the Safari browser now is a PDF file of the same web page. However, how can I save this PDF document for viewing later.