On Sat, 9 Dec 2023 at 15:16, Reuben Thomas <rrt@sc3d.org> wrote:

>
> If you're happy with that, I'll write a patch.
>

Patch attached.

-- 
https://rrt.sc3d.org