Didn't they also just post about how SWEBench is broken?