We’re sweeping bugs recently and investigated this bug.
If you’re using an iOS device, these shortcuts do work, but you will need to use the “Command” key instead of the “Ctrl” key. This follows the same convention as MacOS where all shortcuts that uses Ctrl on Windows and Linux and reprogrammed to use Command instead.