Add a note about where these files come from