I don't know when exactly the post was edited, but the version that was there when I replied did contain personal insults and had a much harsher tone.

Now it's turned out to have arisen from good intentions, so all is well.