3 ms·

You are probably correct. We just called it "trichlor." I wouldn't call the smell "pleasant," or "mild," though... This was 1983-1987. My first job.