Wow. You and @kees-z have been busy there the last 8 hours.
Thanks, and I thought “already done” meant it was there earlier.
Busy is a bit excessive for my small minimalist contribution, I have probably spent half an hour on it. The maintainer has been triggered by it it seems 
and has done a lot more.
1 Like