Panic over. I Googled the MacBook Air keyboard problem and it turns out all I needed to do was hold down Cmd-Opt-p-r while booting up. I don’t know what that does but the keyboard is working again. I’m typing this on it.