On Fri, Nov 10, 2017 at 11:12:18PM +0100, Mathieu Parent wrote: > Is this reproducible on Debian stretch? I don't know yet, as I haven't gotten that particular system upgraded yet, but I plan to do so before the year is out.