Nightly website (#514): record download counts.