Files in doc/ of 32ff97917807a808

Files in directory /doc of check-in 32ff97917807a808