code: public static String javadocToHtml(Doc doc) {
      StringBuilder b = new StringBuilder();
      Tag[] tags = doc.inlineTags();
      for (Tag tag : tags) {
        String kind = tag.kind();
        String text = tag.text();
        if (tag instanceof SeeTag) {
          b.append("<code>" + text.replace('#', '.') + "</code>");
        } else {
          if (kind.equals("@code")) {
            b.append("<code>" + StringEscapeUtils.escapeHtml4(text) + "</code>");
          } else {
            b.append(text);
          }
        }
      }
      SeeTag[] seetags = doc.seeTags();
      if (seetags.length > 0) {
        b.append(" See: ");
        {
          StringJoiner bb = new StringJoiner(", ");
          for (SeeTag tag : seetags) {
            bb.add("<code>" + tag.text() + "</code>");
          }
          b.append(bb);
        }
        b.append(".");
      }
      return b.toString();
    }
docs: Replace the @link tags and block @see tags in a Javadoc comment with HTML.
  
  <p>Currently, the output is non-hyperlinked HTML. This keeps most of the information in the
  comment while still being presentable. Ideally, @link/@see tags would be converted to HTML
  links that point to actual documentation.
  
  @param doc a Javadoc comment to convert to HTML
  @return HTML version of doc