BUG: sphinxext: fix sphinx extensions broken recently
Merge pull request #3296 from pv/fix-sphinxext

BUG: sphinxext: fix sphinx extensions broken recently