Files in the top-level directory of check-in 47e0a87646cb2718