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