> I'll push this soon, unless there are objections
> to the above "undeprecation" of -p.

Go for it. That seems best.  Thank you.



Reply via email to