On this page:
2.1 information in preferences
8.12

2 Develop🔗ℹ

ctrl/command and alt/option just rely on this function from racket/gui get-default-shortcut-prefix.

2.1 information in preferences🔗ℹ