Add missing new files from these previous commits: