> Yes please, but I'd prefer the line be deleted rather than commented > out. The ChangeLog entry should be suffient to warn anybody against > adding it back in. Done. Thanks!