Constant DEFAULT_IDLE_GAP 

pub const DEFAULT_IDLE_GAP: Duration;

Five minutes: long enough to survive reading a paragraph before typing the next one, short enough that a coffee break shows up as a break.