do you think it's worth adding a "This file was generated etc" comment in the generated source?