History: Keyboard key names

Source of version: 5 (current)