Clarifying the Devices Property in User Profiles for Mixpanel

Hi everyone I've been working on a project that has over 800,000 user profiles. I've noticed that some user profiles contain a Devices property, while others do not. I'm a bit confused because I couldn't find any reference in the codebase where we're explicitly setting or updating this property in the user profile. From what I can tell, this might be something Mixpanel is tracking automatically but I'm not certain. I can't manually check every user, but my team has flagged this as something we need to fix urgently. If anyone has insight into how the Devices property is populated in Mixpanel whether it's automatic or needs to be manually set please let me know. Devices [{"Device Id":"cbcdfa04c4bc957e","Device Language":"en","Device Type":"android"}] Thanks in advance