Files in doc/ of c3fb3a49dbf638a0

Files in directory /doc of check-in c3fb3a49dbf638a0