Refactor Docs ScrollSpy to use IntersectionObserver and fix dist/src mismatch

Replaces legacy scroll listener with `IntersectionObserver` to eliminate layout thrashing.
- Updates `js/docsView.js` with `rootMargin: "-96px 0px -50% 0px"` and correct scroll-up logic.
- Synchronizes `dist/js/docsView.js` to match the source logic exactly.
- Updates benchmarks to use the same logic for verification.
- Updates lint scripts to exclude benchmarks.

Co-authored-by: PR0M3TH3AN <[email protected]>

benchmarks/docs_scroll_spy.html

@@ -104,12 +104,18 @@
                 entries.forEach(entry => {
                     if (entry.isIntersecting) {
                         setActive(entry.target.id);
+                    } else if (entry.boundingClientRect.top > 96) {
+                        // Scrolling up simulation
+                        const index = headings.findIndex((h) => h.id === entry.target.id);
+                        if (index > 0) {
+                            setActive(headings[index - 1].id);
+                        }
                     }
                 });
                 totalTime += (performance.now() - start);
                 count++;
             }, {
-                rootMargin: "-96px 0px -80% 0px",
+                rootMargin: "-96px 0px -50% 0px",
                 threshold: 0
             });