A Decade of Raspberry Pi