The generic term used to be "hush covers," if I remember correctly. The printers of the day could be pretty noisy blighters.
NOISY as F**, screaming with a metal ribbon containing character-shapes being hammered by a 132-head (yes) static print-head.
Could print a page every second or two - and could feed paper quickly across blank regions.
Those things were the size of modern trans cans (with the folding lids). And they were insulated for sound.