Update setHints.js to avoid sticking hints

As described in #4137, this add a simple click handler to hide the hint when the mouse button is pressed.

javascript/setHints.js

@@ -329,6 +329,7 @@ async function setHints(analyze = false) {
         }
         el.addEventListener('mouseover', tooltipShow);
         el.addEventListener('mouseout', tooltipHide);
+        el.addEventListener('click', tooltipHide);
       } else {
         // tooltips disabled
       }