Why Verstappen did, and Hamilton didn't, pit at the end of the British GP