r9133: case handling, test report summarizing, documentation additions