Help Sphinx find options_extension
Merge pull request #727 from irskep/fix-rtd-again

Help Sphinx find options_extension