@gruber The person who wrote that was probably a Windows user.
https://support.microsoft.com/en-us/windows/keyboard-shortcuts-in-windows-dcc61a57-8ff0-cffe-9796-cb9706c75eec
@drahardja @gruber My daughter, a technical writer/editor pointed to this. https://learn.microsoft.com/en-us/style-guide/a-z-word-list-term-collections/term-collections/keys-keyboard-shortcuts
@drahardja @gruber My daughter, a technical writer/editor pointed to this. https://learn.microsoft.com/en-us/style-guide/a-z-word-list-term-collections/term-collections/keys-keyboard-shortcuts