When cloning the repo, the .git folder is about 90MB. Quick surface investigation shows files built by Sphinx (.doctrees/environment.pickle) are the bulk of this. We should get rid of them and adjust our gitignore.