@ada@zoner.work @puniko@mk.absturztau.be replacing pi with tau is like demoting pluto from a planet because of semanticsYes. Which we did. Because we found that Pluto wasn't so special after all. That doesn't mean Pluto is unimportant. We still love it and talk about it. But only because it has such an interesting history of being misunderstood. Pluto isn't that scientifically significant. It's only historically significant. Likewise, π is very historically significant too, but not very mathematically significant.