post-hover-tree.js: wrap mouseout hover closing inside timeout