TIL that in Sentry, you can add custom attributes to user, but you can’t filter on them. You have to add them as other types of custom attributes. Sort of a weird restriction, and it would have been nice to keep more data with user, but at least we know!