Doesn't instrument HTML5 benchmarks in Vellamo