hack in our own version of the MetricsServlet that has our registry hard-coded