对 `book.js` 进行正式修补

在2571号文件的启发下,以及我本人所作的其他类似改动,我们需要建立一个适当的系统,以维持我们对`them/book.js'的定制。 也就是说,我们需要把我们的修改作为补丁或非常相似的东西储存起来. 现在,我们的定制 直接编辑到文件。

问题在于mdbook'与它的主题有些结合:当我们把mdbook'更新到一个新的版本时,如果我们不更新默认主题的(部分!)拷贝,我们就有可能弄乱渲染。

我想象着一个系统 我们:

1. 将修改作为补丁储存。
2. 请检查them/book.js'是否真正等同于最初的book.js'文件以及GitHub动作中的应用补丁。
3. 可通过更新 " book.js " 文件来更新我们的 " mdbook " 版。

我可能错过了几个步骤!

@gribozavr.