BTW, for anyone who wants to experiment with adding a wide variety of .deb repositories (that is, for anyone who makes assiduous backups):

https://sites.google.com/site/mydebiansourceslist/Home...