We should use a more lighter-weight library to generate HTML tables. (we don't do anything else with pandas.