post-hover-tree.js: ability to disable post-hovers