/doc/tips/JavaScript_to_add_index.html_to_file:_links/