Dear all, I've just merged the remove-disambiguation branch, and fixed a bug reported by Fabian Blaese (to whom thanks). Since I'm currently unable to test babeld (away from home), I'd be grateful if people could confirm that current master is healthy. Thanks, -- Juliusz