On Tuesday, 19 October 2021 at 04:15:23 UTC, Mike Parker wrote: > On Tuesday, 19 October 2021 at 03:53:45 UTC, Elronnd wrote: >> I support this DIP. However: > > While the DIP is in Draft Review, please leave all feedback in > the PR thread. Oops, didn't read this before replying, sorry.