[calyth2018]

It's very doubtful they actually were stuck long enough to even consider that scenario.

Most likely it was lost, i.e. imploded, long ago when they initially lost comms.

They wouldn't have time to even register the event.

[pengaru]

Right, that's clear now that we've got confirmation of the debris field.

It wasn't confirmed at the time I wrote that comment...