@cstross the good news is that airlines are pretty tough and the amount of explosives that can be stuffed in an electronic device is pretty small. The 3 most recent incidents that destroyed a plane were Oct 2015 metro jet 9268, Aug 2004 chechen bomb plot, and Nov 1989 Avianca 203. There would be lots of injuries/fatalities, but the planes would probably remain flyable if a pilot was ok.