default void setHtml(@NotNull String html, int initialScrollOffset, @Nullable Path documentPath) {
    if (documentPath == null) {
      setHtml(html, initialScrollOffset, (VirtualFile) null);
    } else {
      setHtml(html, initialScrollOffset, VfsUtil.findFile(documentPath, false));
    }
  }
default void setHtml(@NotNull String html, int initialScrollOffset, @Nullable Path documentPath)