It can be a hard choice; However, I think manual is better, even if you just read one post or 2. Why? you may ask, because we can interact more, and grow from a community to a family.

Interaction is very important, this already is a great community.
Although, bots do come with advantages, why not do both. ?
Anyways, that's juts my 2cents.