> On 25 Oct 2026, at 06:31, xiahoumuxuan(at)gmail(dot)com wrote:
> I'm happy with removal instead of my original fix.
Hearing no objections, done that way.
--Daniel Gustafsson