If you write ... HTML to well-formed XML and output to a new file (hit control-D after the output is finished): If you don’t want to use the command line, and don’t work with one of the ...