Wrote a xml_to_html.py python script to produce easily readable and
nicely formatted html files from xml input files.