Tree-length logging

Redirect to:

• Logging#Tree-length logging