Files in doc/ of 3120c0a647beb64c

Files in directory /doc of check-in 3120c0a647beb64c