On Wednesday, 8 February 2023 at 13:00:35 UTC, ag0aep6g wrote: > Here's a further reduction of one aspect of your snippet that > looks like a bug to me: thank you, quite interesting