Raspberry Pi is now a public company - eviltoast