Note more bugs found. Also: the markdown notation is not obvious.
Workaround for Racket bug 10471.
Flush the output after printing sigs so that the progress can be viewed in real time.