Is there any plugin/extension in theia for getting monitoring metrics?

Tools like rstudio and che have monitoring metrics https://www.eclipse.org/che/docs/che-7/monitoring-che/#collecting-che-metrics-with-prometheus_monitoring-che, is there a plugin in Theia from where we can get health & monitoring logs like active sessions, number of users etc?

[original thread by erjk]

@theia/metrics - https://www.npmjs.com/package/@theia/metrics

@erjk note however that the @theia/metrics extension only ATM provide some Prometheus metrics related to the backend node.js process, IIRC. So nothing at the Theia application level in there, probably.