Renamed modalkey -> hotkey.modal; part of #254.