modify db_to_html.py to avoid calling explorer to open results.html