This is a rough first-draft change, with multiple flaws, intended to
just start discussion around the feature request.
Issues include:
* It breaks compatibility, replacing the previous JSON /metrics
* It crudely hand-generates Prometheus-formatted data
* It would probably be better if it used
https://pypi.org/project/prometheus-client/
But it works locally and I have some nice graphs!