[GHC] #13756: Typo in user guide suggests that there's an -O* option