Launch any app, or bring back the right ctrl key.
You may have never realized it, but you don’t necessarily have to settle for the keyboard defaults that you get on your laptop out of the box: If you want different keys to trigger different actions ...