The total hadn’t changed in about a half hour, and when I went to refresh a few minutes ago, no luck.
Just tried again, and it is up, and a couple of thousand higher than where it got stuck.
up again 1.712 million and counting!