`gh-pages` branch is using up >900 MB of space

[IAlibay]

Each build of the docs is ~ 27 M, it's slow but we'll eventually start using increasing amounts of git space as we do more releases.

It's not as bad as the userguide's 6+ GB, but we should at least keep an eye on usage?