Odd. I will contact them directly. Julian On 9 Oct 2013, at 07:41, "Paul Eggert" <eggert@cs.ucla.edu> wrote:

Julian Cable wrote:

...

I assume Mike Douglass and Cyrus Daboo subscribe to this list?

My guess is not, since they haven't posted here.

----------------------------- http://www.bbc.co.uk This e-mail (and any attachments) is confidential and may contain personal views which are not the views of the BBC unless specifically stated. If you have received it in error, please delete it from your system. Do not use, copy or disclose the information in any way nor act in reliance on it and notify the sender immediately. Please note that the BBC monitors e-mails sent or received. Further communication will signify your consent to this. -----------------------------