Files in the top-level directory of check-in 3a58d8f06ccdfe05