The GNOME approach would be try and provide the right solution automatically instead. So I assume if you bring it up to the developers, they can work on something suitable. For instance, in the normal day to day workflow, either the performance difference wouldn't exist or should be negligible enough. Games and video players are sort of special cases which are being handled without a on/off switch.