You're absolutely right! It's not the people correcting their Grammer that are the motivation for this rule, it's the people abusing these tools and ruining every online discussion with cookie-cutter comments.

In all seriousness, if you use some tool to make sure you're using the right "there", noone will mind. Just don't generate another boring predictable comment and everything will be ok