- pin Sphinx >= 1.2.3 for RTD
cherrypick from master, pin Sphinx to 1.2.3