Fix, but disable, the new format script.  Ormolu still mangles too much to make it work.
Fix, but disable, the new format script.  Ormolu still mangles
too much to make it work.

google/codeworld,alphalambda/codeworld,alphalambda/codeworld,google/codeworld,google/codeworld,alphalambda/codeworld