switch man shortcut to manpages.debian.org (Closes: #700322)