On Thursday, 17 January 2019 at 00:44:32 UTC, Nicholas Wilson wrote: > That DIP doesn't make that point at all! If you don't know what > you're talking about, you should find out _before_ you waste > everyones time reviewing it! IMO, this tone is uncalled for. Let's all try to be civil and criticize the DIP, not the person.