Clarify docs for -O and -OO.  Patch by Terry Reedy.