Sphinx documentation option that went missing