Slightly better docs with smarter BenchmarkCSV