remove some occurrences of Sage in the documentation TeX file, some other minor changes