>>> Any further thoughts about this patch?
>> LGTM,
> Could someone please install this change, then?  (I can't do it myself)

Pushed with the additional patch below.


        Stefan