Files in the top-level directory of check-in 5c80b8c6f8762dc7