fix: don't show popovers on heading anchors

Jacky Zhao

2023-12-03 9c88d5967fee49d9e69b0e5dd22ca3bc44f9a12e

 .prettierrc

@@ -2,5 +2,6 @@
  "printWidth": 100,
  "quoteProps": "as-needed",
  "trailingComma": "all",
  "tabWidth": 2
  "tabWidth": 2,
  "semi": false
}