quint
quint copied to clipboard
Integrate vscode telemetry
To gather simple metrics such as the plugin usage. This can be easily done via native VSCode extensions: https://www.npmjs.com/package/@vscode/extension-telemetry
We would have to figure out and document which metrics we should collect.