Rename dirs, and temporarily remote html.
temporarily remote subtree source.
Squashed 'docs_source/' content from commit 50bd8d8

git-subtree-dir: docs_source
git-subtree-split: 50bd8d8cadd7654165c7289304c84a6763514b62
Merge commit 'daff08c12f08726a13e6fe5be0c95d4b53d4cf28' as 'docs_source'
Updated docs.