Change file extensions in header docs to match file names