Files in the top-level directory of check-in 19930d6a7c2d0b3d