Files in the top-level directory of check-in 76da7195d2431ac0