On 11/17/11 09:06, Sergey Poznyakoff wrote: > I have no strong feelings one way or > the other, so if you think ordinary -v should suffice, it's > quite OK with me.
Yes, thanks, I'd try ordinary -v for now. I don't think it'll mess up existing users much. (And if I'm wrong we can change it to the more-complicated way....)
