> I discussed this again with Juliusz, and we also agreed that (2) is > more natural, both conceptually and in the code itself — at least in > babeld. I'll rewrite the code shortly with option (2). Let's all sympathise with this poor intern who has to redo everything because his supervisor keeps changing his mind. Thanks, Théo. -- Juliusz