[tor-commits] [metrics-web/master] Make a few improvements to ExoneraTor.