Files in doc/ of b52b3ab1891bd25c

Files in directory /doc of check-in b52b3ab1891bd25c