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.