This file is generated by ./capture-specs.sh

The kit no longer ships a hardcoded spec sheet: specs are captured on whatever
machine runs the benchmarks. Run:

    ./capture-specs.sh            # -> specs.txt + specs-detailed.txt
    ./capture-specs.sh before     # -> specs-before.txt + specs-detailed-before.txt

and again (with a different tag) after a change, then compare.