Those shortcuts are system-dependent (and in fact don't even work on my
Ubuntu), so now we try to fetch the native key sequences.
Added a few more why not...