Sphinx fix after #777 merge
The #777 (closed) merge introduced code change that causes some Sphinx versions to fail.
It did work on my ubuntu 18.04 with sphinx 1.6.7, but it fails on Jenkins (version unknown).
Anyway, need to fix this.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information