On Wednesday, 6 May 2020 at 14:21:43 UTC, Panke wrote: > [snip] > > I think this is one the best written DIPs I've seen in while > independent from the changes it discusses. I had the same thought as well.