Thread:BunsenH/@comment-30754266-20191027062807/@comment-24577221-20191027152342

I think that that contributor is someone we'll have to keep an eye on. Their edits here and elsewhere don't appear to be intentionally damaging, but they're frequently bad and need to be reverted.