Files in doc/ of 5d04e4826c996357

Files in directory /doc of check-in 5d04e4826c996357