Not sure about the story but it would be funny if pi folks actually own this domain.
They do. That's Pi's old name.
They do. That's Pi's old name.