objs-user-profile-short

record objs-user-profile-short {
  avatar-hash: string,
  display-name: string,
  display-name-normalized: option​<string>,
  first-name: string,
  image-v72: string,
  is-restricted: bool,
  is-ultra-restricted: bool,
  name: string,
  real-name: string,
  real-name-normalized: option​<string>,
  team: defs-workspace-id,
}