Just from the curiosity, why balanced binary trees used in Set and Map are AVL-trees, not their alternative, say, red-black trees?  Is there a deep reason for it, or just a historical one?

Best,
--