code: public Result<String> convertToHtml(File file) throws IOException {
          return new InternalDocumentConverter(options).convertToHtml(file).toResult();
      }
docs: Converts {@code file} into an HTML string.