On 10 Oct 2011, at 10:41, Nick Kew wrote: > Yep. Maybe calling it Location would be more consistent with > our terminology?
but would also be an inappropriate change if it hit existing users who rely on the current "directory" semantics. So that becomes (just) a note for the docs. -- Nick Kew
