On 03/15/2015 08:40 PM, Jim Meyering wrote: > Sounds good. > I too prefer to deprecate, and then (a release or two later) to remove entirely. OK, thanks, here's a draft patch to do that.