Hearing from a source that China has been seen in EUR/USD market this morning. Apparently they were seen buying, apparently starting around 1.4215. Oh no!!!, this really smacks of micro-management.
Little depressing for those looking for an extended sell-off, but it could still happen if stocks come under renewed pressure.