Not exactly what I was looking for. That's _another_ Robinson-Foulds algorithm, not for tree distances. I am not sure I want RF algorithm; looks like it's used for taxonomic distances, but I'm looking for something similar to the insertion-and-deletion metric for strings, but applied to trees. Does that exist?