Files in directory /doc of check-in b7046bf39b08111d