The referenced bug has been fixed for a while. (cherry picked from commit cb18a9cf9517d3a2ee1d0056b03f2d7e58cb2946)
@@ -1,3 +0,0 @@
-# pinning sphinx to 1.4.* due to search issues with rtd:
-# https://github.com/rtfd/readthedocs-sphinx-ext/issues/25
-sphinx ==1.4.*
Rémi Verschelde