I peered at this post. I suspect it is about right, but wanted to check. It turns out it is easy to use the Jetstream to get a corpus of posts. With a corpus, I can find bots by finding identical posts, urls etc.

I suspect there is a bias. On one hand, bots probably worsen the user experience. On the other, they help boost daily active users, posts, and so on.