Package: dctrl-tools Version: 2.24-2+b1 Severity: wishlist On http://antti-juhani.kaijanaho.fi/blog/en/debian/banner.comments it says it will be removed soon.
OK, then could you also remove all the -rw-r--r-- 1 0 2003-08-15 .grep-dctrl-banner-shown littering everyone's accounts? No I'm not sure of the best way to do it.