Files in the top-level directory of check-in bdf6d8ff6a6c324f