Files in doc/ of 09bb2d8a9505afa6

Files in directory /doc of check-in 09bb2d8a9505afa6