protected void appendAdditionalListItemInfo(@NotNull StringBuilder buf, RefElement refElement) {
    // Default appends nothing.
  }
protected void appendAdditionalListItemInfo(@NotNull StringBuilder buf, RefElement refElement)