Files in doc/ of a5843e5983d1be0b

Files in directory /doc of check-in a5843e5983d1be0b