Derived subset files.

Note we do not add derived files into git: this folder exists as a placeholder for the release process.