Added Sage generated docs