check:	../../python.exe ../../Tools/scripts/texcheck.py whatsnew25.tex