Thanks but debian-user-digest now appears to be called debian-user-digest-digest -- Jaldhar H. Vyas <jaldhar@debian.org>