Hm, nobody is mentioning the Raspberry Pi. Isn't this their target audience? Is it too slow, Raspbian not good enough for what they want to teach, or what's the reason?

(I'm not a teacher nor have I tried to use a Pi (although I own one, haven't had the time to play with it yet); I'm just wondering.)