code: public final boolean isDeprecated() {
      OptionElement deprecatedOption = OptionElement.findByName(options(), "deprecated");
      return deprecatedOption != null && "true".equals(deprecatedOption.value());
    }
docs: Returns true when the {@code deprecated} option is present and set to true.