HISTORY updated, key-mappings defined.