I wrote the following script to change "<br>" in page text (&lt;br&gt; in HTML) into "<br/>" in HTML (a line break in page text). It will eventually do the same to "<br/>" in page text (&lt;br/&gt; in HTML), but...