1This is the source of the old docs that are being replaced. They are served 2from the `gh-pages-old` branch, while the new documentations (source in docs/) 3is served from the `gh-pages` branch.