[GHC] #10921: weird "optimisation levels" in man page