Merge pull request #2671 from alex/sphinx-pin

Revert sphinx pin