On Sunday, 7 April 2024 at 13:08:23 UTC, Don Allen wrote: > On Sunday, 7 April 2024 at 04:58:29 UTC, Jonathan M Davis wrote: > I haven't filed a bug report yet, but will, so it makes it onto > someone's todo list. Pull request created.