On Saturday, 19 August 2023 at 11:29:58 UTC, Johan wrote: > > Nice, thanks. > I've added my comment (make a table of all interesting cases!) > to the gist. Thanks for the table. I'll see about double-checking and integrating it to my post later. Until that - well, it's already there in you comment after all.