So I finally got my act together, and documented Babel-Z3: http://www.pps.univ-paris-diderot.fr/~jch/software/babel/draft-chroboczek-babel-diversity-routing.html It needs some more work, I think, but it should be fairly readable in the current state. -- Juliusz