To update my own workaround, I have switched to LXDE for now (installed lubuntu-desktop). It's pretty drastic, but it completely sidesteps mutter.
To update my own workaround, I have switched to LXDE for now (installed lubuntu-desktop). It's pretty drastic, but it completely sidesteps mutter.