Re: [Speed] Benchmark tooling broken by the migration to Git