Performance tuning as the art of weather forecast: update & measurements regarding @jdalton's hardening of the mangling in the Benchmark.js