Files in doc/ of f9cf6ac5f1cc9356

Files in directory /doc of check-in f9cf6ac5f1cc9356