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