On Sunday, 11 October 2020 at 15:38:26 UTC, Timon Gehr wrote: > Why add incidental complexity like this all? That's why I kept the two commits separate. I'm not in love with it either but if it is what people want, it was simple enough to implement too. Or just skip that commit.