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
I remember trading info on obscure .deb repos with Craig years before he started this page. Now I find he has certainly the most informative single resource for .debs on the net. Also, I am certain Craig would be interested to here of more repos. (Knoppix is on there.)
HP ZBOOK 15 (G3) Xeon CPU E3-1505 v5 @2.8 512GB SSD 32GB RAM NVIDIA
$595.00
$80.00
EXAGRID EX32000E Server Intel Xeon E5620 @ 2.40GHz 16GB RAM 16x 2TB HDD
$679.00
Intel Xeon E5-2697A V4 2.6GHz CPU Processor 16-Core Socket LGA2011 SR2K1
$39.99
Intel Xeon E5-2680 v4 2.4GHz 35MB 14-Core 120W LGA2011-3 SR2N7
$17.99
SR1XP Intel Xeon E5-2680 v3 12 Core 30MB 2.5GHz LGA 2011-3 A Grade Processor
$5.09
Intel Xeon E5-2699v4 SR2JS 2.2GHz 22-Core 55MB 145W Server Processor CPU
$144.95
HP Workstation Z640 2x Xeon E5-2623V4 32GB Ram Dual 256GB SSD K420 Linux GA
$234.98
Rare WaterCooled HP Z800 Workstation Dual Xeon X5680 16GB RAM 120GB SSD Nvidia
$279.56