Move ExoneraTorServlet to metrics-web
View options
As of today, ExoneraTor provides a query interface that can be used externally. We built that in order to split the service into the existing backend and a frontend that can live on Tor Metrics. Let's consider moving the page now, and that basically means moving ExoneraTorServlet to metrics-web.