fix: don't show popovers on heading anchors

Jacky Zhao

2023-12-03 9c88d5967fee49d9e69b0e5dd22ca3bc44f9a12e

 docs/features/explorer.md

@@ -196,7 +196,7 @@
      }
    }
  },
}})
})
```

### Putting it all together