anchor.diff:  
          ( noshort,
           "extract_module",
  -        Accumulated (PostProcessed (pp_lowercase, (SimpleStr "module name"))),
  +        Accumulated (PostProcessed (pp_lowercase, (SimpleStr "module_name"))),
           "Only extract the specified modules (instead of the possibly-partial dependency graph)");
   
          ( noshort,
  
positive.code: 
         ( noshort,
          "z3rlimit",
          IntStr "positive integer",
          "Set the Z3 per-query resource limit (default 5 units, taking roughtly 5s)");
  
         ( noshort,
          "z3rlimit_factor",
          IntStr "positive integer",
          "Set the Z3 per-query resource limit multiplier. This is useful when, say, regenerating hints and you want to be more lax. (default 1)");
  
         ( noshort,
          "z3seed",
          IntStr "positive integer",
          "Set the Z3 random seed (default 0)");
  
         ( noshort,
  
negative.code: 
         ( noshort,
          "n_cores",
          IntStr "positive_integer", //; detail_errors := false),
          "Maximum number of cores to use for the solver (implies detail_errors = false) (default 1)");
  
         ( noshort,
  