Migrate a few files missing from github

IHA-4