r9133: case handling, test report summarizing, documentation additions

No match.