-if [ "$HOSTNAME" == "archimedes" ]; then
- xmodmap -e 'keycode 158 = XF86AudioRaiseVolume'
- xmodmap -e 'keycode 146 = XF86AudioLowerVolume'
- xset r rate 170 40
+# No clue why this has changed from Alt_R to Down, but we really want Down.
+if ! xmodmap -pk|grep -qe '116.*Down'; then
+ xmodmap -e 'keycode 116 = Super_L'
+ xmodmap -e 'keycode 115 = Multi_key'