let help = "print some metrics into the specified file; the output format is recognized through the extension."