On Sat, Jan 17, 2026 at 12:51:17PM +0800, zengman wrote:> Thanks for your comment. I thought so too.
Applied as 2a6ce34b55e1.--Michael