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