An improved and more resilient hover trigger!
Thanks to the contribution by @czabaj 👑, the hover trigger is now improved quite a bit, accounting for the gap between the trigger and the tooltip and also fixing a glitch in cases where tooltip and trigger overlap.