Files in the top-level directory of check-in 6f00c88f7b2df75c