Intriguing that the American B2 crews fired but the Tornado boys did not - did the order come too late, or a different take on what they were seeing? I assume the civilians were the same ones I spotted outside the palace on the BBC news last night...
Or different targets?