ajax.js: when post-hover-tree was active, sending a post led to a form freeze