On Oct 30, 2012, at 5:28 PM, Rafael EspĂndola wrote: > We have some old benchmark results in www/timing-data/. Are they still > relevant? If no, can we remove them? Go ahead. John.