On 19 January 2018 at 14:40, John Ralls <jralls at ceridwen.us> wrote: > > See https://bugzilla.gnome.org/show_bug.cgi?id=784623 <https://bugzilla.gnome.org/show_bug.cgi?id=784623>. In particular see the workaround in comment #20 Colin