Jameson Graef Rollins <jrollins@finestructure.net> writes: > No functional change here. The help message previously referred to > the "delete" tag, but "deleted" is now preferred, so hopefully this > will reduce any potential confusion. I pushed this one patch from the series. d