Happy 13th Birthday, Raspberry Pi!

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…