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