Links for debian-distro-info