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

Tools like rstudio and che have monitoring metrics, 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 -

@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.