I haven't yet figured out how I feel about the rest of this, but we should at least not commit generated artifacts like this. That means we will need to update the deployment process (see deploy.py) to generate this file before we can merge this.