index.js, an automatic table of contents script