[Kupietz]copied the entire post into a text file and saved it on my hard drive. Which turned out to be the right move, as of course, once I quit the browser and restarted, WordPress had not actually saved a local copy. It's a good thing I'm wise to its ways.