On Thursday, 25 May 2017 at 00:34:45 UTC, MysticZach wrote:
I've created a very WIP draft here: https://github.com/SuperV1234/DIPs/blob/master/DIPs/DIP1009.mdIf you're interested in contributing, please let me know and I'll add you as a collaborator.As a matter of procedure, you don't want to assign a DIP number to it yourself. I'm pretty sure that is for the DIP manager.
We're well aware. The file name is not indicative of anything.