These four files are changed as per Hazim changes over the month of July. Clearly we need to start githubbing for real!