So the latest stats showing for rc-72 on distributed.net's stats page are from July 18. Anyone know what gives???