This file is a placeholder template. The renderer in scripts/build_index_html.py builds the live HTML.