I still have some issue with mutter (already fixed upstream), but I noticed it's not part of the GNOME 40.1 update. Do you know when the new version of mutter will be available?