Fix duplicate widget names in hotkeys.xml.