Files in directory /single_doc of check-in c0143e1b7ae8b51a