Constant REPLACED_ID_GRACE 

pub const REPLACED_ID_GRACE: Duration;

How long a session’s old id keeps working after an account joining gave the session a new one.