sage-doc: dist fixes