Ah, I see that it is generated below. Can you please add a comment explaining that this file is generated, and when/how?