Greasy Fork is available in English.
一个适用于 Codeforces 的 Tampermonkey 脚本，增强功能与界面。
< Feedback on Codeforces Better!
……
这是因为这个页面存在两种格式的公式，有使用了MathJax的，也有没有使用MathJax的旧公式（评论区最后面），这种情况是非常少见的。
脚本目前的处理策略是如果页面存在旧公式，则全部按照旧公式的逻辑来处理，不会再使用turndown对其进行转换，这在绝大多数情况下都没有任何问题
但是你这个页面有所不同，因为存在旧公式，因此翻译区域中的所有 MathJax 元素都没有被处理，当然会字符很多，因为有非常多的HTML标签
一种可能的改进策略是单独对每一次翻译区域进行判断处理，但这需要改动大量的其他判断逻辑，且可能出现各种意料之外的问题，
作者目前没有太多的时间来维护这个脚本，因此预计将在4月中下旬更新改进以解决该问题。
当然，你也可以来贡献代码，想要？就自己来实现吧o_o ....
翻译是不是有点问题？
这么一段能超5000字符？