Right. I was just pointing out the current behaviour, not suggesting to change the docs as such. This aligns pretty good with the proposals I mentioned in my first answer to Larry. IMHO.
Right. I was just pointing out the current behaviour, not suggesting to change the docs as such. This aligns pretty good with the proposals I mentioned in my first answer to Larry. IMHO.