$ 0 0 Just a few hours ago I did extensive work in a large document that I copied from a HTML file I had generated (because it was