See also Market Extra: Stock-market rout: Why it’s too early to call tech plunge the start of a correction
