Files in the top-level directory of check-in 0af3a97b5fd2a59d