A disabled key is essentially a command that prevents the default handler of that key (by returning Effect.Prevent_default), and does nothing else. Users can choose to omit disabled keys from the help menu.