Gittrac #3532:  Parsing of braindump.txt file now works, and the
values from that file are reported in the metrics; a little bit of
cleanup of other stuff.