Anchor.js for Gitbook

Adds initially-hidden deep links to page sections that pop into view on hover.

{
    "plugins": ["heading-anchors"]
}

See anchor.js docs for details.