Files in the top-level directory of check-in 47986c1d0854df12