re: #763 nonic

We disagree, and I prefer to leave it at that.

Fair enough, but I offered opinions on a few aspects of the situation, so I still don’t know exactly what it is we disagree on because you won’t specify. I guess I never will.

I suppose I’ll learn to live with that.