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