Hey. I’m in the process of adding a simple shortcut switching system which should allow people to choose between the default Sonic Pi shortcut scheme, or one based on the defaults of one of the major platforms (Windows/Mac/Linux). It may not make it into the 3.2 release, but there are no big problems preventing it from being included in one after that