pub const FINAL_FLUSH_BUDGET: Duration;
How long a final flush (disable, end of session, drop) may block.