Yet more improvements to cron_dump_to_disk.