submodule updated.  Crucial: sphinx fails otherwise