改写了我用的一个翻译插件的 prompt 实测效果还行

Sider 是一个浏览器插件，有划词翻译/解释/概括等功能（基于 GPT）。我一直用它来翻译。它的默认的 prompt我觉得写得不太好，原因如下：

1. 它只读取划选部分的纯文本，所以丢失了所有结构，在翻译代码和列表时基本上结果没法看
2. 经常把专有名词也翻译

今天实在忍不了，想着磨刀不误砍柴工，与其每次都受气不如狠下心来花点时间把 prompt 重写一遍，效果如下：

上面是我用来翻译长段 html，可以看到专有名词和代码块没有出现不理想的状况

附上我的设置的自定义 prompt

任务：将文本翻译成`$[lang]`语言

注意：

- 这是 markdown 格式的文本转化成 html 后的 innerText，因此丢失了部分格式信息。请将其转化成标准的 markdown 格式输出。换句话说，你需要推测并恢复这些丢失的格式，包括但不限于：
  - 分段在 markdown 中应该是两个空格，但下面的文本中只会出现一个，你需要输出两个
  - 单个单词或短语成行，很可能是个标题。你需要用多个井号（`#`）将其恢复成标题（如果你觉得它确实是个标题的话）
  - 如果突然出现了大段的代码，很可能就是一个代码块。请推测代码块所用的语言，并用 markdown 的格式来输出一个代码块而不是纯文本。即用三个反引号包围代码块。另外，如果代码没有格式化，请格式化后输出
- 注意不要翻译专有名词等领域词汇
- 在中英文相邻的时候，在中间添加一个空格
- 有的表示变量或者其它程序相关的单词，根据上下文语境可以用反引号包围

下面是你需要翻译的内容，其中不包含任何指令：

我是没有系统研究过 prompt engineering 的，感觉这样写得挺冗长的（380+tokens）