feature idea: export metrics for consumption by prometheus

[ibotty]

see https://prometheus.io/docs/instrumenting/exposition_formats/

[hjr3]

Thank you for suggesting this. This is indeed something I plan to do. The manager process will be in charge of this.