It looks like you could just copy it and paste as HTML source in an HTML editor. SeaMonkey browser from Mozilla comes equipped with an HTML editor and is very useful.
6 posted on 11/01/2015 10:28:06 AM PST by sparklite2
(All will become clear when it is too late to matter.)