Add existential bookmark to documentation/index.html.js
Merge pull request #3715 from tyre/gh-pages

Add existential bookmark to documentation/index.html.js