On Monday, July 8th, 2024 at 04:49, Pip Cet <pipcet@protonmail.com> wrote:
> This bug report is mostly to get a bug number to put in the patch :-).

Which I'm now attaching. Sorry about that.

Pip