David,
I'll add to the thread my deep thanks for your skill, insight, hard work, helpfulness, articulacy, and (yes, really) diplomacy. May your new employer prove as congenial and rewarding as they are evidently discerning.
best regards
-- Graham
On Wed, 2016-11-09 at 18:09 +0100, David Kastrup wrote: