Attached is a revised version of patch 3, which corrects the default
keybindings.

        --dkg