@gargron

And the number of bots in that count is probably a rounding error. Unlike somewhere else I won't mention 😸