On Friday, 11 May 2018 at 11:37:17 UTC, rikki cattermole wrote: > > Well then, since you don't like how it is now, lets see the DIP. it deserves to treated as a 'bug', not an DIP.