EUR/USD having been to 1.3041 session high is presently back at 1.3020. Russia, the jobber supreme, was notable seller around the highs. Someone wake me when things start to liven up.