Commenting. run_tests.bat now writes the number of completed tests to the final summary.