check:
	../../python.exe ../../Tools/scripts/texcheck.py whatsnew25.tex
syntax highlighted by Code2HTML, v. 0.9.1