On Friday, 17 August 2018 at 15:27:22 UTC, Mike Franklin wrote: > I actually started writing a DIP for this about a year ago, but > I need to pick my battles. > > Mike Is it on github? Alex