Marius Bakke <mbakke@fastmail.com> writes:

> I will push this to 'master' tomorrow unless there are objections :-)

Pushed as 4163f2467bce1a6123f0da1c49e88751d93e634b.  Thank you Stefan!