Rename build script
Add comment to build-generated files.

Discourage manual editing, since it’ll just disappear anyway.