Files in the top-level directory of check-in 3b47c943ea947586