docs: @JsonProperty
      public String timestamp() {
          if (timestampAsText == null) {
              timestampAsText = DateTimeFormatter.ISO_INSTANT.format(timestamp);
          }
          return timestampAsText;
      }