Were those windows steel framed?
I have never seen that before.
You also may be surprised about how it may not need to be pulled down.
I wonder if a lighting rod would have helped, I see it on some buildings?
From;
House fires started by Lighting
The National Weather Service reports that lightning starts about 4,400 house fires each year, causing around $283 million in damages.
About 16 deaths are attributed to lightning-caused fires each year, most of the victims being occupants of houses ignited by a bolt.
Although every lightning strike could start a fire, some are more likely than others to do so. Some flashes contain a continuous flow of electricity, known as a continuing current or "hot lightning."
In such cases, the charge flows continuously over a sustained period of time rather than in intermittent surges.
This longer period of charge flow causes the stricken object to heat up and possibly ignite, according to the Weather Service.
From;
When lightening hits
When a lightning charge travels through electrical wiring, it can cause an explosive surge. This may cause a fire and almost certainly will destroy the wires.
The surge can also damage any appliances (particularly electronics like computers and entertainment centers) that are connected to the electrical system.
Surge protectors can protect against small surges but are unlikely to prevent damage from a direct lightning strike.
Damage can also be caused by the shock waves that lightning creates, which are audible like thunder.
At close range, these waves can be destructive, causing structural degradation and cracking in
concrete, brick, cinderblock, and stone.
Brick and stone chimneys are particularly susceptible to lightning damage. Shock waves can also fracture objects and create shrapnel, flying debris that can be propelled at dangerous speeds around structures.
This talks about lighting rods,
This company installs them,
https://lightningrods.com/