Files in the top-level directory of check-in 6c3e306c2db7c29c