The .out file and the two places that quote it in prose had the banner from before restarts were numbered, so check.sh had been red on breakdemo since that commit. The .out is regenerated from the same build --dev and timeout run check.sh does, rather than typed: the leading blank line and the three spaces before each number are part of what is compared. The page gets a sentence it was missing. A number in front of a restart is not decoration -- a restart is taken by position, because an inner one can shadow an outer one of the same name -- and the banner showed the numbers without the page ever saying what they were for.
Description
Languages
OCaml
67.2%
Emacs Lisp
15.2%
C
10.4%
HTML
2.9%
Standard ML
2.8%
Other
1.5%