docs/system/keys.rst.inc still refers to removed options -alt-grab and -ctrl-grab