docs: add documentation for Operand Search, remove debounce

Jacky Zhao

2022-08-01 b10b23a47bb822bc3eee671d24fd954ec8d74a7d

 assets/js/popover.js

@@ -50,7 +50,7 @@
          li.addEventListener("mouseover", () => {
            // fix tooltip positioning
            window.FloatingUIDOM.computePosition(li, el, {
              middleware: [window.FloatingUIDOM.offset(15), window.FloatingUIDOM.inline(), window.FloatingUIDOM.shift()],
              middleware: [window.FloatingUIDOM.offset(10), window.FloatingUIDOM.inline(), window.FloatingUIDOM.shift()],
            }).then(({ x, y }) => {
              Object.assign(el.style, {
                left: `${x}px`,