corfu-doc 已被合并进了 corfu

[twlz0ne]

PR 被否决了，@minad 认为应该让上游来解决。

我又提了一个新的 PR，解决当变量值是一个超大列表时的卡顿问题。