There's been virtually no significant trades for about an hour. Are any of the major platforms still down??