Files in the top-level directory of check-in 58e3b94eee334e77