This file is a fragment: tools/harness.sh appends everything from the marker below to index.html and runs it.