Hi David, On Thu, Aug 18, 2011 at 4:40 PM, David Cohen <dacohen at gmail.com> wrote: >> Not sure if David or anyone is using this, but if someone is, it must >> be out-of-tree. > > I am fine to remove it. OK, thanks for confirming! Ohad.