I'm sure he did his best! Jokes aside, it's a very useful bot most of the time that actually saves me a lot of time! Edit: Also, you're right: There's a point of shortness of an article where there is just no more text that could be removed without information getting lost.