Files in the top-level directory of check-in 3824f7e44e71cbe2