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]