In theory, these could be any generated files, not just scripts. So I'd rather add a comment than change the name.