This series obsoletes the patch (series)
id:20180727083720.19909-1-david at tethera.net
id:20180723082259.32440-2-david at tethera.net
id:20180720233746.2844-1-david at tethera.net
It also includes a proposed fix for the problem reported by Gregor in
id:87y3ducffj.fsf at len.workgroup