(In this quote I have changed a word to "feature" as I think this is what you meant!)Zinn wrote:It is not a bug - it is a feature.
I guess we will never know if it is a deliberate feature.
I think the current situation is unsatisfactory. If it is a feature we should update the documentation to describe it. If it is a bug we should remove it.
Personally I much prefer to regard it as a bug.