Polishing some docs
Update Windows HOME location for current Windows
Merge pull request #5040 from takluyver/docs-extensions-polish

Polishing some docs