The Mutter 3.24.4 announcement says that https://bugzilla.gnome.org/show_bug.cgi?id=784223 has been fixed. I suspect this is the same bug as this one. So anyone affected: please try to reproduce once Mutter 3.24.4 is in Debian :) Thanks in advance!