Files in the top-level directory of check-in 512ac5f8c2c584bb