code: def report_html():
      
      arguments = docopt.docopt(report_html.__doc__, version='cr-rate 1.0')
      with use_db(arguments['<session-file>'], WorkDB.Mode.open) as db:
          doc = _generate_html_report(db)
  
      print(doc.getvalue())
docs: cr-html
  
  Usage: cr-html <session-file>
  
  Print an HTML formatted report of test results.