metropolis/node: export core/supervisor metrics

Change-Id: Ibe3be27f9a5b3fc5e36babecc74d7d784d1f5e10
Reviewed-on: https://review.monogon.dev/c/monogon/+/3292
Reviewed-by: Tim Windelschmidt <tim@monogon.tech>
Tested-by: Jenkins CI
diff --git a/metropolis/cli/metroctl/cmd_node_metrics.go b/metropolis/cli/metroctl/cmd_node_metrics.go
index e445086..f94f020 100644
--- a/metropolis/cli/metroctl/cmd_node_metrics.go
+++ b/metropolis/cli/metroctl/cmd_node_metrics.go
@@ -28,6 +28,8 @@
 
 A node ID and exporter must be provided. Currently available exporters are:
 
+  - core: metrics from the core process of the node (which contains the
+    supervision tree)
   - node: node_exporter metrics for the node
   - etcd: etcd metrics, if the node is running the cluster control plane
   - kubernetes-scheduler, kubernetes-controller-manager, kubernetes-apiserver: