Thanks again for the clear explanation, Greg. > I don't think this is documented in the manual.
I contend that it ought to be. While not a bug in functionality, as I originally thought I was reporting, an omission from the documentation is still a minor bug.