Comment 1 for bug 1703415

Will, could you check if this is a duplicate of LP: #1489651 ?

I believe Debian has the same problem and the Debian GNOME team is thinking about pushing a workaround to Debian 9.