Add existential bookmark to documentation/index.html.js