anchor.diff:         ( noshort,
           "fs_typ_app",
           ZeroArgs (fun () -> Bool true),
  -        "Allow the use of t<t1,
  -       ...,
  -       tn> syntax for type applications; brittle since it clashes with the integer less-than operator");
  +        "Allow the use of t<t1,...,tn> syntax for type applications;
  +        brittle since it clashes with the integer less-than operator");
   
          ( noshort,
           "fsi",
  
positive.code:        ( noshort,
          "use_native_int",
          ZeroArgs (fun () -> Bool true),
          "Extract the 'int' type to platform-specific native int (You will need to link the generated code with the appropriate version of the prims library)");
  
         ( noshort,
          "verify_all",
  
negative.code:        ( noshort,
          "detail_errors",
          ZeroArgs (fun () -> Bool true),
           "Emit a detailed error report by asking the SMT solver many queries; will take longer;
           implies n_cores=1; incompatible with --stratified");
  
         ( noshort,
          "dump_module",
  