Sorry for the noise. My messages (and others?) to the list seem to be going to /dev/null (or at least I am never seeing them) so I'm sending this content-free message hoping that Richard can make sense of any corresponding log entries to diagnose the problem...
