On Monday, 28 November 2022 at 09:27:11 UTC, Walter Bright wrote: > I've written most of a DIP for one. Should I: > > 1. submit the DIP > > 2. just implement it and do a PR > > 3. post the DIP here > > 4. wait for a champion to take it over and submit it 1. DIP first. Then 3. announce the DIP