this directory contains scripts used for setting up the ../benchmark.html
