Sorry Stefan, that last patch won't build against the current feature/noverlay. I sent it from a tree that was not fully merged. This one renames the itree_busy_p call to itree_iterator_busy_p.