Add File#add_history and support in the manifest.