@baka9baka @KaiserKitty @mischievoustomato not tomato, but I can give some data on this, my best TGM1 time in mutter is 20-30sec worse than my best time using gamescope, which in a game like TGM1 at my level, is basically an eternity (my normal PB is 10:12 normal and 9:44 20G, for comparison the WRs are 8:48 normal and 8:33 20G, most players only ever aim for sub-10 normal at best)