Also documented missing short command line options to fix #24134. This bumps the minimum sphinx version required to build the docs to 1.3.4. Thanks Simon Charette for review. Backport of e519aab43a419589e92fe284e4ce2f2e034aec6a from master