Removed sage-shell-sagetex-minor-mode