I have tested the patch at https://git.gnome.org/browse/mutter/patch/?id=542ed1d024042cadae1c92c73 eb1e7f1acafd7e8 and after rebuilding mutter 3.22.3-1 with such patch applied, the problem disappears. It is a small patch, I hope it can be accepted by the release team. Let me know if I can help. Pietro