const PIN_WAITS_AT_MOST: Duration;
How long a PIN typed waits for its key: then forgotten, asked again (review of 23 October 2026, F2).