This file is generated by VCR. I don't know if there's any way to improve it.