Re: What to do about sagemath