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