我是一名大一学生，因为学校 Chromebook 会阻止扩展程序和应用程序，所以 CodeSandbox 是我最好的代码编辑器选择。
我对 CodeSandbox 很陌生，所以我不完全确定如何下载特定文件。我的资源管理器中有一个 HTML 文件和 package.json，我可以选择将这两个文件下载为 .zip。但是我的 Chromebook 不允许我打开和提取 zip 文件，因此我无法访问我想打开的 HTML 文件。那么，我有没有办法只下载 HTML 文件，因为我无法打开 zip？谢谢您的帮助。