> On 12 Oct 2026, at 03:12, Chao Li <li(dot)evan(dot)chao(at)gmail(dot)com> wrote:
> I agree with your analysis and the fix.
+1. I'll take care of it once the tree is open again.
--Daniel Gustafsson