On 3/8/2024 12:18 PM, Eli Zaretskii wrote:
> Yes, something like this.

Thanks. Updated patch attached. If no one has any other concerns, I'll 
merge this in the next day or two.