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