https://letyourmoneygrow.com/forums/topic/removing-dead-sources-in-debian-properly/
Removing dead sources in Debian properly