Hi, As I wrote a patch as https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=891404#31 archived old debian releases just use http://archive.debian.org as default, so it's not necessary to add it to manpage.
-- Regards, Hideki Yamane henrich @ debian.org/iijmio-mail.jp
