Comment by theZilber

I explained them politely what was the issue, and the differences in behavior which led me to conclude why it is a bug and not a feature.