Aaah, good point which would never have occurred to me, but unfortunately just too late to make it into the document!

Thanks anyway, will adopt that policy from now on :-)