message: Show device ID in UserInfo when there is no device name
diff: @@ -187,9 +187,15 @@ function DeviceItem({userId, device}: {userId: string, device: IDevice}) {
  verifyDevice(cli.getUser(userId), device);
  };
  - const deviceName = device.ambiguous ?
  - (device.getDisplayName() ? device.getDisplayName() : "") + " (" + device.deviceId + ")" :
  + let deviceName;
  + if (device.getDisplayName() === null || device.getDisplayName().trim() === "") {
  + deviceName = device.deviceId;
  + } else {
  + deviceName = device.ambiguous ?
  + device.getDisplayName() + " (" + device.deviceId + ")" :
  device.getDisplayName();
  + }
  +
  let trustedLabel = null;
  if (userTrust.isVerified()) trustedLabel = isVerified ? _t("Trusted") : _t("Not trusted");
  