>>>>> "Roy" == Roy Badami <roy(at)gnomon(dot)org(dot)uk> writes:
Roy> FWIW, this is documented behaviour (section 35.1 of the Roy> manual).
That's 35.1 in the 8.0 doc, BTW. It's 37.1 in the 7.4 doc.
Roy> -roy