And Sphinx updates again.
Enters Sphinx 3.1.1, not hugely different from 3.0.x series on one hand, but on the other one, with a few new features and (beware!) enough breaking legacy SphinxAPI changes that they warranted a version bump. The highlights are as follows.