Files in doc/ of 97047919d034cfd6

Files in directory /doc of check-in 97047919d034cfd6