public static @NlsSafe HtmlChunk generateDoc(final PydevConsoleElement pydevConsoleElement) {
    final String description = pydevConsoleElement.myDescription;
    // Description contract:
    // (Signatures\n\n) ? Description
    final int index = description.indexOf("\n\n");
    if (index != -1){
      return new HtmlBuilder()
        .append(text(description.substring(0, index)).bold())
        .hr().append(description.substring(index + 2)).toFragment();
    }
    return text(description);
  }
public static @NlsSafe HtmlChunk generateDoc(final PydevConsoleElement pydevConsoleElement)