pub const PIN_QUIET: Duration;
How long a PIN stays in memory after its last use (the owner’s choice: 15 minutes).