> On 24 Aug 2025, at 23:23, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
> I'll work on getting it in at the start of the week.
While not exactly the start of the week, this is now done.
--Daniel Gustafsson