Merge #11971: fix man page; it's -OO not -O0

Patch by Lars Michelsen.

diff --cc Misc/python.man
index 0ef5467fb2ca8d70f412bf2e643cbc3489dfc8e6,0921e4c0c4d806ab300bfea2635c38f4561d019c..1b37d0cd41f736bb5a3e6ae8e1b3638290f9af22
--- 1/Misc/python.man
--- 2/Misc/python.man
+++ b/Misc/python.man
@@@ -34,9 -34,13 +34,9 @@@ python \- an interpreted, interactive, 
  .B \-O
  ]
  [
- .B \-O0
+ .B \-OO
  ]
  [
 -.B -Q
 -.I argument
 -]
 -[
  .B \-s
  ]
  [