On 12/05/2018 12:23 AM, KingJoffrey wrote: > 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. It works as designed. There is no bug here. Make a DIP please.