Files in doc/ of b6001442d135cf12

Files in directory /doc of check-in b6001442d135cf12