Fixed: a mirror can be deleted while it is rendering a subtree

Nothing here yet.