Merge pull request #13962 from unclejack/shrink_docs_images

docs: shrink some big images