I have found the idea of tau useful even though I have never used it in writing. One argument in favor of tau is that in many formulas pi often has the multiplier 2 in front of it. If these formulas are written in terms of tau, they may become slightly easier to memorize and manipulate. Perhaps so, but I don't really care about this. It’s not a big difference. Besides, there are also lots of formulas that are easier…
Your Cauchy argument is actually misleading and runs right into my joking example elsewhere in this thread about needing to define a new constant Sigma=4pi to work better with steradians. Pi doesn't always represent only a pure circle. Eg, in solid angles there are 4pi steradians over a sphere. Or 2tau. Or what I define as Sigma. This extra factor of two when using Tau should be just as disconcerting to tau enthusias…
But your point about steradians is still spot on. If I had been talking about the 3D case, there would have been a 1/(2pi) factor in the front of the pdf. Using tau would not have helped anyone realize that this particular 2pi is most naturally thought of as 1/2 of the full 4pi steradians. Using tau is not a substitute for careful thinking.
And I am not even actually advocating switching to tau; I am not sure if it is worth the effort. But I still think that tau is a good way of conveying the idea that the current definition of pi as basically a historical accident. This can be enlightening even if one doesn't start using tau. As a more extreme example, I think it is useful to recognize that the decimal base (as opposed to binary, hex, etc.) is a historical accident, but I wouldn't advocate changing it.