[_jonas]

It's easier to find the data now, I've run some benchmarks on it. Great to see OpenAI open-sourcing datasets like this!