> On 28 Sep 2026, at 21:05, David G. Johnston <david(dot)g(dot)johnston(at)gmail(dot)com> wrote:
> This may arguably be a bug, but at this point we should just document the
> behavior we have.
Agreed, pushed and backpatched all the way. The documentation has this output
down to 7.1 but I only tested down to 14.
--
Daniel Gustafsson