Files in the top-level directory of check-in 7ec48625c269c3a5