1. 2020-01-23 Re: [TUHS] Spider [was: Unix quix] tuhs Jon Steinhart 2. 2020-01-23 Re: [TUHS] Spider [was: Unix quix] tuhs George Michaelson 3. 2020-01-23 Re: [TUHS] Spider [was: Unix quix] tuhs Warner Losh 4. 2020-01-22 [TUHS] Spider [was: Unix quix] tuhs Paul Ruizendaal