On Monday, 20 January 2025 at 18:07:31 UTC, Meta wrote: > Did Dennis ever get around to writing that DIP? No, it's still on my todo list. > I've recently gotten way more free time and I like this > feature, so I'd be willing to do it. That would be appreciated!