If you select “Keyboard” in “Settings | Application | External input device”, then these keys are currently available: