public static void DumpDbToFile()
{
ConsoleHelper.WriteIf(RunArgs.Verbose, "Beginning timely database dump...");
System.IO.File.WriteAllLines($"dbDump-{DateString(DateTime.Now)}-{DateTime.Now.Hour}.{DateTime.Now.Minute}.log", FormatHelpers.CollectionToString(GetAllMessages()));
ConsoleHelper.WriteLineIf(RunArgs.Verbose, "done.");
}