On Friday, 20 July 2018 at 09:24:19 UTC, Bastiaan Veelo wrote: > On Friday, 20 July 2018 at 09:03:18 UTC, Dukc wrote: >> Thanks for the effort to make it... I believe Manu will be >> pleased. > > Manu is the one who wrote the DIP :-) Though it was Mike :-)