no lsi - github pages don't use it anyways
index: generate ids for inside-doc links