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