For some reason my follow-up in this thread has not come across the list... I've sent it twice (once via gmane, once via direct mail). Is there some sort of filtering on the mailing list that might have caught it? It was rather long. - a