That is tragic.
I read somewhere that your sense of smell doesn't work while you're asleep.
Carbon monoxide (dioxide?) from gas heaters etc has also killed people in a closed tent.
There's a lessen there.
We keep ours outside in the annex where fresh air is circulating for that reason.
Also tents burn in about 2 minutes. Not a lot of time to wake up and act.