docs: public static UserProfileDto fromUser(User user) {
      UserProfileDto result = new UserProfileDto();
      result.id = user.getId();
      result.firstName = user.getFirstName();
      result.lastName = user.getLastName();
      result.email = user.getEmail();
      return result;
    }