I asked him once how to change the key bindings and Dave said “You use the Change Configuration command.”  “On Unix it is abbreviated as cc.”