So using prometheus.DefaultCoarseMux instead of http.DefaultServeMux means I get these 3 metrics "for free" in the default registry. I assume I would then registry.Register my own application metrics totally independently?