To correct myself, there were only 34 trades so far today, but one or two of them amounted to something like 55 million shares at about 10:40am. And not a post on HotCopper so far!