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