--- openapi: get /metrics ---