Many people claim this smell is ozone from lightning in the atmosphere. I’ve heard this repeated as fact many times over the years.
I wasnt there so I suppose that smell of ozone could have been there also but ozone has a very distinctly different smell.