That’s a good point about the filtering and I think I’ll see about implementing that. I don’t expect people to totally abandon the subreddit for this community so it’ll be nice for people who use both to filter out reposts when filtering presumably eventually becomes available. Thanks for the suggestion!
Far as the bot goes I’m not interested in one personally, but I did see a post asking for it when I joined the community here. But I agree I don’t think it would help the community grow, but just make us a mirror for the subreddit.