Really that reduces to looking at how often pi appears by itself (without being multiplied by a constant) versus how often 2pi appears. If there's a multiple ot

Really that reduces to looking at how often pi appears by itself (without being multiplied by a constant) versus how often 2pi appears. If there's a multiple other than 2 it's a wash; "4/3 pi r^3" isn't any better or worse than "2/3 tau r^3". And 2pi shows up all over the place, while the most common occurrence of a single pi is the area of a circle, which the proposal convincingly argues should have a 1/2 factor.