@devpodio/metrics (npm): Theia - Metrics Extension
Keywords: theia-extension