Files in doc/ of db4e2fff2dfcc5ce

Files in directory /doc of check-in db4e2fff2dfcc5ce