Files in doc/ of af2c6346c92d5d04

Files in directory /doc of check-in af2c6346c92d5d04