There are, at least, as many formules with pi as formules with tau in them. Pi has never been an issue in the past, and I guess this fashion too shall pass. We could, e.g., change the constant in the area of the triangle (you know, that annoying one half), but... wait! what happens with the area of the rectangle?