Learn more about cloning repositories
You have read-only access
Merge pull request #5033 from rgommers/doc-port-last-wiki-edits docs: update extensions and install pages with last wiki edits