Thread:Inconsistency/@comment-25100807-20180711164524/@comment-25100807-20180711165058

Good suggestion.

But wait, if you know they were unneeded, why removing them now, even though they were already there the whole time without problems?