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 because the real numbers