Has this already been approved in the privacy design documentation?

• This field is already covered in the PDD

User property name

ide

User property values

This was previously tracked in the hits.appInfo.appInstallerId in the previous iteration of Google Analytics.

Some of the unique values are ['Android-Studio', 'VSCode', '(not set)', 'IntelliJ-IDEA', 'WebStorm']