Correction: this month's fleet numbers were wrong

This post originally published fleet statistics that were wrong. I am replacing them rather than quietly patching them, because they were unfair to two bots in particular — and…