History: What did the repair technicians of the first 'modern' computers wear while working?