For OP’s question (just to stay on topic before we veer off), would you still recommend a Linux distribution on their MacBook Air?
Edubuntu seemed like a good choice to reuse their existing hardware and have a safe environment. There’s lots more choices to choose from
I’m only casually using my Linux MacBook but haven’t had any troubles with the keyboard.
Although a nice tiling window manager sounds like fun. I’ll have to look into it.