Add section on BDD garbage collection