有没有办法将在 Google Drive 中创建的文档导出为 .tex 文件？
我尝试使用可以直接从 Google Drive 界面下载的 .zip 文件。该文件包含文档的 HTML 版本，作为第一种方法，我尝试使用 www.w3.org 提供的工具将该 HTML 文档转换为 TEX 文件（在此处输入链接描述）；但是，下载的 .zip 中的 HTML 文件不是 XML 格式正确的，并且列表的元素没有嵌套，嵌套级别由其类来区分。
那么，有没有直接将 Google Drive 文档导出为 TEX 文件的工具呢？