Files in the top-level directory of check-in f3ede91483fb7f78