v2020.2.x has been branched, so the current master is v2020.2+.

It makes sense to render using the same theme locally that is used on RTD.
The theme can be installed using:

    pip install sphinx_rtd_theme

docs: Basic site documentation
docs: Basic autoupdater documentation
docs: minimal autoupdater info
docs: bump version to 2014.2

Closes #114