Sage: finally, remove dependency on sage-doc...