I'm very excited about pi.dev but naming it Pi when there are people like me who've got seven Raspberry Pi around is just... Confusing. To me there's pi, the c

I'm very excited about pi.dev but naming it Pi when there are people like me who've got seven Raspberry Pi around is just... Confusing. To me there's pi, the constant. Then there's "a pi": a Raspberry Pi. Now there's "pi, the agent" too. It gets confusing. Especially if you use pi on a Pi to write code that uses pi.