docs++
Add highestMax()

No test case yet, though.