post-hover-tree.js: well now at least it does what the filename says