When I first heard about pi.dev I was also initially confused. Raspberry Pi is already very big in the hacker community... they really should not have named this harness "Pi".