[PATCH 0/1] configure: prefer python's sphinx module