Happy Birthday, indeed, to the super successful Raspberry Pi board, the first of which was was officially launched at the end of February back in 2012. And yes, I know it was actually born on a leap day, February 29, back in 2012. But we’ll gloss over that until the…