Files in the top-level directory of check-in 19fea9d13f2b3e47